(cherry picked from commit 23b82b3228)
23b82b3228
(cherry picked from commit 1fa55d3900)
1fa55d3900
This turns the check-cherry-pick script into a github-script based JavaScript program. This makes it much easier to extend to check reverts or merge commits later on. (cherry picked from commit b46cb23251)
b46cb23251
This can and should be re-used across different scripts. (cherry picked from commit 2192c5b6e8)
2192c5b6e8