Because I mess it up every time, here’s how to move a Github pull request from one branch to another.

Back in October, I wrote a post explaining how to do SSH forwarding with docker build. In November, I wrote about how to use multiple SSH identities with git. Unfortunately, these don’t always mix: using SSH in the docker build uses the first SSH identity held by ssh-agent, which might not be the one you wanted. Here’s how I got around this problem.

I want to keep my work and personal Github accounts separate. Here’s how I set that up:

I wrote about Generating a version number from your git repo at the weekend. This post contains some follow-up notes and thoughts.

I’d like my application to display some kind of version number, ideally derived from the git tag.

When I create a new git repository, I prefer for there to be an empty commit at the beginning of history.

Recently I noticed that I’d made some commits to the git repository at work with my personal email address.

This is an internal email I wrote almost exactly 2 years ago. I had to refer to it today, and I figured that it bears sharing publicly.