feat(github): push force contributor branch.

2017-05-04 20:34:59 +02:00
parent 3fd6da06e0
commit c00c240c14
4 changed files with 28 additions and 4 deletions
--- a/.github/rpr.sh
+++ b/.github/rpr.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 #
 # git config --global alias.rpr '!sh .github/rpr.sh'

@@ -33,4 +33,4 @@ trap clean EXIT
 .github/cpr.sh $pr

 git rebase $base
-git push --force-with-lease $remote "$pr--$branch"
+git push --force-with-lease $remote $pr--$branch:$branch