Changes between Version 10 and Version 11 of CommitterTips


Ignore:
Timestamp:
04/06/2018 11:03:59 AM (19 months ago)
Author:
Tim Graham
Comment:

Add "Pushing to a pull request branch"

Legend:

Unmodified
Added
Removed
Modified
  • CommitterTips

    v10 v11  
    22
    33Versions of several of the scripts given below can be found in https://github.com/shaib/django-developer-tools.
     4
     5== Pushing to a pull request branch ==
     6
     7Add to `.bashrc`:
     8{{{
     9#!/bin/bash
     10function prp(){
     11    url=`git config --get remote.origin.url`
     12    url=`echo $url | sed -e "s/:.*\//:$1\//g"`
     13    git push -f $url HEAD:$2
     14}
     15}}}
     16Usage:
     17`$ prp username branch_name`
     18
     19`username` is pull request author's username, and `branch_name` is the branch name which is visible on the pull request page.
    420
    521== Automating Backports ==
Back to Top