diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-04-18 19:54:22 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2019-04-18 19:54:32 +0200 |
| commit | 2d4f70cabd6d92aadd2fe8fe280366c391edb487 (patch) | |
| tree | dc02aa3f189ac3b855fa25eef0ef7c594db459a8 /doc/release-notes.md | |
| parent | 84adc79e105cfaa0fcd4f9a99f88a4a6d75b40c3 (diff) | |
| parent | 942ff2054b41fe3f78f1b3d88cfd032bc95fd62f (diff) | |
Merge #15838: scripts and tools: Fetch missing review comments in github-merge.py
942ff2054b41fe3f78f1b3d88cfd032bc95fd62f contrib: gh-merge: Use pagination to fetch all review comments (nkostoulas)
Pull request description:
Use GitHub API pagination to do multiple requests if required.
Tested with some PRs that have a large number of comments.
For issue #15816
ACKs for commit 942ff2:
MarcoFalke:
utACK 942ff2054b41fe3f78f1b3d88cfd032bc95fd62f
laanwj:
utACK 942ff2054b41fe3f78f1b3d88cfd032bc95fd62f
Tree-SHA512: cf0dcdc40212a7c5cfcd1afe873e068399bc6499fd2e32207c5516595c93e5cb478178b04185ce21c3de0312621e05fda268411e59864d51046fb7a049989f42
Diffstat (limited to 'doc/release-notes.md')
0 files changed, 0 insertions, 0 deletions