Xavier Morel c814ce8f34 [FIX] runbot_merge: tagging on closed PR ... Closed tagging was broken since the raw-sql alterations of the close hook: because it's raw SQL, the write() method doesn't get invoked anymore and as a result the tagging feedback record is not created, and never executed. Add a test to check for the PR's proper tagging, and fix this issue by explicitly creating a tagging record. Closes #49		2018-11-22 16:06:15 +01:00
..
__init__.py	[FIX] runbot_merge: tagging on closed PR	2018-11-22 16:06:15 +01:00
dashboard.py	[FIX] runbot_merge: handling of PRs of >50 commits	2018-09-20 15:28:55 +02:00