Fix #736: Server repo doesn't end up on any branch after a 'git push'