Xavier Morel 63bef8b7ab [IMP] forwardport: notify when FP PR gets de-parented ... If a PR is explicitly updated, it gets converted to a normal PR[0]. Before this, users had no indication that this had happened and might be wondering what they're supposed to do (or try to r+ via the forwardbot, which doesn't work on a root PR). [0] to an extent: the PR still has a source and might have children, in which case the followups will be created from the source & existing followups should be updated to match Closes #206		2019-09-23 12:54:22 +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	[IMP] forwardport: notify when FP PR gets de-parented	2019-09-23 12:54:22 +02:00