more notes about confusing behaviors of git-fetch and git-push