Git: Adopt the new default push behavior (ie. only the current branch)