Commit message (Expand) | Author | Age | |
---|---|---|---|
* | merge script support https + typos in doc | 2018-04-11 | |
* | Merge script: adds a way for confirmation to expect a newline. | 2018-04-09 | |
* | Add sanity check in merge script: local branch is up-to-date. | 2018-04-09 | |
* | Document requirement to have git >= 2.7 to use the merge script. | 2018-04-08 | |
* | Merge script does not warn when the remote is set to HTTPS. | 2018-04-08 | |
* | Merge script: use fetch URL for the remote. | 2018-04-08 | |
* | Improve shell scripts | 2018-04-05 | |
* | merge-pr.sh: cache github API calls | 2018-04-03 | |
* | improve merge-pr script | 2018-03-23 | |
* | merge-pr.sh: use git diff --quiet | 2018-01-16 | |
* | Cleanup shell expansions and quoting. | 2018-01-16 | |
* | This script apparently uses bash-specific features. | 2017-11-29 | |
* | Fix PR merge script. | 2017-11-29 | |
* | Add PR merge script. | 2017-11-28 |