Improve naming of branched on GitHub

Right now the branches are named randomly. It would be useful to have a datetime or just an increasing number in the branch name so it is obvious which branch contains the latest changes. Even better, generate the name from the last chat msg.