Xavier Morel aa2248e379 [IMP] forwardport: close command ... This is useful as the author of the original PR doesn't necessarily have (write) access to the repository where the forward-port PR was created. As a result, while they can r+ the PR they're unable to close it (via github's interface). Since the forwardport bot created the PR, it can also close it, which seems like a useful feature. Closes #341		2020-03-04 11:56:01 +01:00
..
__init__.py	[ADD] forwardbot	2019-09-05 10:00:07 +02:00
forwardport.py	[FIX] forwardport: PR update through a closed PR	2020-02-26 16:21:24 +01:00
project.py	[IMP] forwardport: close command	2020-03-04 11:56:01 +01:00