On a slight aside, should we add @{downstream} to describe the opposite of @{upstream}? Seeing that around the place would give intermediate users a clue about why pull and push aren't as related as they think, and would be useful here and there in code (e.g. __git_ps1 could show a better bash prompt with GIT_PS1_SHOWUPSTREAM). - Andrew -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html