From 5e6ee61bb729ee2262c2b62d81d7455b63b969a8 Mon Sep 17 00:00:00 2001 From: Waldir Pimenta Date: Sun, 8 Jan 2017 21:20:14 +0000 Subject: [PATCH] oops, mixed push --prune with fetch --prune --- pages/common/git-push.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pages/common/git-push.md b/pages/common/git-push.md index 3065f22be6..e77f3d3f6d 100644 --- a/pages/common/git-push.md +++ b/pages/common/git-push.md @@ -14,15 +14,15 @@ `git push {{remote_name}} -u {{remote_branch}}` -- Send changes on all local branches to their remote counterparts: +- Send changes on all local branches to their counterparts in a given remote repository: -`git push --all` +`git push --all {{remote_name}}` - Delete a branch in a remote repository: `git push {{remote_name}} --delete {{remote_branch}}` -- Remove local references to branches that have been deleted in a remote repository: +- Remove remote branches that don't have a local counterpart: `git push --prune {{remote_name}}`