Clean up unused git branches

Clean up unused git branches

If you’re using git and creating branches, then making pull requests, and ultimately merging them back into your main/master branch, you may end up with unused branches cluttering your repository. They don’t really hurt anything, but they can add some clutter and make it more difficult to find the branches that are actually in use. […]

GitHub Pull Request Checklist

GitHub Pull Request Checklist

I really like the workflow that GitHub Pull Requests allow. It’s great even in tiny projects to be able to get a code review for a given set of changes, and the UI for GitHub’s Pull Requests is better than any other source control system I’ve used (and doesn’t require buying an expensive tool or […]

4 Tips to Integrate TeamCity and GitHub

4 Tips to Integrate TeamCity and GitHub

I’ve been a fan of JetBrains TeamCity for many years now. It’s a great continuous integration / build server product, with an extremely responsive web-based user interface that’s great to work with. What’s more, the basic version supports up to 20 projects for FREE, which is tough to beat. However, like peanut butter and chocolate, […]

Your Recent Mentions on GitHub

Your Recent Mentions on GitHub

The other day I saw someone mention me in a pull request for a client’s GitHub repository (probably on my phone). When I had some time to look into the issue, I’d deleted the email notification, and I couldn’t remember which repository it was on (they have a few). So I checked my GitHub profile […]

GitHub Spinoff Sites

GitHub Spinoff Sites

Recently I’ve started using a couple of GitHub-related sites for collaboration. These are made possible by GitHub’s open API, and demonstrate how shipping an API allows a community to develop around your product, which in turn makes it more difficult for a competitor to displace your users. I’m sure there are many other sites out […]