[email protected] 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 _______________________________________________ Dev mailing list [email protected] https://lists.parabola.nu/mailman/listinfo/dev
