date with the upstream. • git-push (1) to shared repository, if you adopt CVS style ... revert (1) to undo botched commits. • git-push (1) to publish the bleeding edge. Examplesthat can be used for this: • git-push (1) copies your branches to a remote ... other options. SEE ALSO gittutorial (7), git-push (1), git-pull (1), git-mergegit-fetch (1) or git-push (1) for details. remote repository A repository whichvarious users push changes to; see git-push (1) and gitcvs-migration (7). EXPLORING HISTORYsuch as git-show (1) and git-push (1)) can also take revision parameters which