Xavier Morel d99d1c2ad6 [ADD] forwardport: ability to skip CI when forward porting ... Provides a `skipci` command to PR reviewers. This makes it so the followup PRs (after the first one) get created immediately, without waiting for CI to succeed on a given forward-port PR. This can be useful if for some reason a change *must* be merged in branch N+1 before it can be merged in branch N. Fixes #363		2020-04-17 08:09:01 +02: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	[ADD] forwardport: ability to skip CI when forward porting	2020-04-17 08:09:01 +02:00