diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-02-02 13:06:31 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2017-04-21 16:58:41 +0200 |
| commit | b508424104c403a9ec12b4adda0d795c2e4d0d6d (patch) | |
| tree | 1dcbaf28b3ec2b07d697a1f81c841593ccb241ff /doc/bips.md | |
| parent | 27faa6cccd8dc0c9345c73c424cb7f80dfb061e6 (diff) | |
contrib: github-merge improvements
Some minor github-merge improvements I've made over time:
User interface:
- Print merge details again before signing off, to refresh your memory -
usually I'll have done lots of different things in the shell so this
will have scrolled out a long time ago.
- Require a valid answer on the prompts. One of the requested answers
must be typed, if not, the prompt will re-ask. This prevents
accidentally rejecting.
Efficiency:
- Condense "accept merge" and "sign off" prompts. There's no reason to
have this as two separate prompts, both are just opportunities to skip
out on the merge, no action is performed in between.
Merging:
- Strip spaces from github title. This avoids redundant spaces
surrounding it from getting into the commit message.
Diffstat (limited to 'doc/bips.md')
0 files changed, 0 insertions, 0 deletions