%
< gwern> "well, geoff said, it all started when I said californian voters
would approve any idea, no matter how stupid, if it sounded good..."
-
+%
+< ether> I don't want to think about the tooling changes for renaming branches
+< Grinnz> ideally, "update minting profile to set the default branch
+ name, everything else works based on git branch config", in
+ practice "ohgod everything's made of hardcoded bees"