diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-06-17 14:39:11 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-06-17 14:54:35 +0200 |
| commit | 0e01e4522e0f9e2e994f80fc61f40d61a4a70d79 (patch) | |
| tree | 77f9c31a00f82ece666b57884d57979315834c8d /.style.yapf | |
| parent | f6f924811d5b4ae2a6c77105403747cd31d3e49d (diff) | |
devtools: Fetch and display ACKs at sign-off time in github-merge
- Fetch the ACKs only at sign-off time. This makes sure that any
last-minute ACKs are included (fixes #16200)
- Show a list of ACKs and their author before signing off, and warn if
there are none
Diffstat (limited to '.style.yapf')
0 files changed, 0 insertions, 0 deletions