双葉幼稚園 A Layman's Repository

GitHub is so FAST

image

pixiv id=15538951

Github surprised me in terms of the speed of support/development/review/deployment.

Yesterday when wandering around GitHub, I found a bug:

bug demo 1 bug demo 2

I haven't seen this bug in years of browsing GitHub, it has to be introduced by recent changes. I tweeted about it, and got confirmed by @zhengjiehan. Then I wrote a ticket to GitHub with screenshots and repo names attached. After that, I continued with my practice of Racket, since it usually take one business day or more[1] to get a reply (it is Saturday, right?).

But I got a reply (and a laughter) in ~70 minutes, at 2:40 AM, UTC+8:

Hi!

That's hilarious! Um, we just like being precise? Kidding. I'll write up an issue.

Thanks for letting us know!

OK, they replied quick, then I went on my work.

Less than 2 hours later, I got another mail (4:17 AM, UTC+8):

Hi!

We've fixed this bug and the repo numbers should be looking much nicer now.

I then opened the 2 repos with problem, it got fixed!

image

I couldn't believe that, from a ticket to deployment, GitHub uses less than 3 hours! Ticket sent, received, support guy file an issue, dev get that issue, figure out the reason, fix it, pass peer review, get merged, and finally deployed in 3 hours!

I don't know why it's extremely fast. Perhaps their support service is run by developers, many developers are full stack, developers have the permission to deploy a modification with a single click…

I don't know, but it's FAST.

<3

[1] Linode as a notable exception.