Changes between Version 10 and Version 11 of MergerTips

Timestamp:

Apr 6, 2018, 11:03:59 AM (6 years ago)

Author:

Tim Graham

Comment:

Add "Pushing to a pull request branch"

MergerTips

@@ -2 +2 @@
 
 Versions of several of the scripts given below can be found in https://github.com/shaib/django-developer-tools.
+
+== Pushing to a pull request branch ==
+
+Add to `.bashrc`:
+{{{
+#!/bin/bash
+function prp(){
+    url=`git config --get remote.origin.url`
+    url=`echo $url | sed -e "s/:.*\//:$1\//g"`
+    git push -f $url HEAD:$2
+}
+}}}
+Usage:
+`$ 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.
 
 == Automating Backports ==