Tweaks for pushing non-HEAD commits into the awsbox