diff --git a/docs/source/developers/github/delete_branches.rst b/docs/source/developers/github/delete_branches.rst index c4eae7218..4c9872117 100644 --- a/docs/source/developers/github/delete_branches.rst +++ b/docs/source/developers/github/delete_branches.rst @@ -12,7 +12,7 @@ Switch off the branch that you want to delete. Most of the time, switching to ma Delete the remote branch off GitHub: :: $ git push origin --delete mybranch - Enter passphrase for key '/home/vhu/.ssh/github/id_rsa': + Enter passphrase for key '/home/vhu/.ssh/github/id_rsa': To git@github.com:whowutwut/xcat-doc.git - [deleted] mybranch @@ -32,4 +32,4 @@ Sync up GitHub and Local Machine There are times when you delete the branch off your local machine or from GitHub and it's become out of sync, you sync up the list, run the following: :: - git remote prune origin + git remote prune origin