Xavier Morel 426bc69ea1 [FIX] forwardport: ask github what the PR's commits are ... Attempts to use rev-list seem to work locally but they fail *a lot* when live. The previous attempt to fix it in 0f4c22490c made things worse rather than better once deployed. Give up on that (at least for now?), and just ask github what the PR's commits are then cherrypick exactly that.		2019-09-12 11:58:10 +02:00
..
__init__.py	[ADD] forwardbot	2019-09-05 10:00:07 +02:00
forwardport.py	[ADD] forwardbot	2019-09-05 10:00:07 +02:00
project.py	[FIX] forwardport: ask github what the PR's commits are	2019-09-12 11:58:10 +02:00