From 9b5a40008864d66568a2a64bf038a15070fdee2d Mon Sep 17 00:00:00 2001 From: GONG Jie Date: Sun, 31 Dec 2017 23:59:59 +0000 Subject: [PATCH] Remove trailing spaces in file docs/source/developers/github/delete_branches.rst --- docs/source/developers/github/delete_branches.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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