[x] Make sure everything in 19.08 is in master
[x] e-mail people that forgot to put stuff in master and we can't figure out how to merge correctly
[x] Create 19.12 branch from master in release-tools
[x] Create 19.12 branches from master in all repos part of the release
[ ] Increase version in version file in release-tools (19.12 branch)
[ ] Update branch name in modules.git file in release-tools (19.12 branch)
[ ] Run increase_repos_version.sh (19.12 branch)
[ ] Increase version in version file in release-tools (master)
[ ] Run increase_repos_version.sh (master)