git at git.parabola.nu has learned the command 'change-default-branch'. As it will tell you when you run it, it may take some time to be reflected in the web interface, because of caching. Relatedly, git-meta now tracks which branche is the default for each repo. -- Happy hacking, ~ Luke Shumaker