Changes between Version 11 and Version 12 of MergerTips

Timestamp:

Apr 23, 2018, 9:24:36 AM (7 years ago)

Author:

Tim Graham

Comment:

Updated "Pushing to a pull request branch" for my latest version

MergerTips

@@ -9 +9 @@
 #!/bin/bash
 function prp(){
+    IFS=':' read -r -a array <<< "$1"
     url=`git config --get remote.origin.url`
-    url=`echo $url | sed -e "s/:.*\//:$1\//g"`
-    git push -f $url HEAD:$2
+    url=`echo $url | sed -e "s/:.*\//:${array[0]}\//g"`
+    git push -f $url HEAD:${array[1]}
 }
+
 }}}
 Usage:
-`$ prp username branch_name`
+`$ prp username:branch_name` 
 
-`username` is pull request author's username, and `branch_name` is the branch name which is visible on the pull request page.
+Copy `username:branch_name` from the pull request page.
 
 == Automating Backports ==