github
-
From support request to pull request
A customer reported a bug. I opened a pull request to fix it. That last sentence…
-
Why lowercase Git repository names are a good idea
Using lowercase Git repository names is a good idea. Here’s why.
-
Support bots are not quite there
Are support bots helpful? They may be. But they are not quite there.
-
Listening to English speakers in bars
A decade ago, at a noisy Irish bar, I struggled to understand a colleague’s accent, leading…
-
Decade in review
I am not a very enthusiastic reader of year or decade reviews. I will try to…
-
First impressions after leaving GitHub
I always wondered how it would feel being a GitHub alumni. What would be different? What…
-
Farewell GitHub, welcome HeavyMelon
Leaving GitHub has not been an easy decision. I want to create my own calm company,…
-
How I avoid zombie GitHub Issues
At GitHub, we rely on Issues heavily. Not only for bug reports, or for tracking feature…