Nice try :) Actually the hard part isn't creating a script to automate 3 git commands - it's that there is no root repo to put such a script, hence the need to manually do it.