A bash script to speed up merging and pushing to various git branches