chiark / gitweb /
git-branchmove: new script, still work in progress