9679843161
NO-JIRA renaming branch name to main on scripts
2021-04-11 14:26:29 -04:00
4bff01e01c
NO-JIRA update docs for gitbox
2019-01-31 09:42:12 -06:00
f19a030cc4
Adding set -e on merge script
...
I had some cases where I had pending changes on my local copy and the script silent failed.
This will make sure people using this script would notice any failure during a merge
2016-07-28 17:41:08 -04:00
1d2d7d05e5
Allow override remote name in mergePR script
2016-04-08 10:03:19 -04:00
f4481cbdb6
Improving the merging process doc, based on rebasing
2016-02-02 08:56:47 -06:00
230aba76a2
adding merge-PR script to help merging Pull Requests
2015-09-25 14:29:09 -04:00
Clebert Suconic
Justin Bertram
Martyn Taylor