git-push: documentation and tests for pushing only branches