Julien Tant 7781e8cef2 Disable merging a WIP Pull request (#4529) ... * prevent pull request to be merged when PR is a WIP * add tests * add helper to prepend WIP: in PR title * move default wip prefixes into settings * use configurable WIP prefixes in javascript and default to first one in templates * add documentation * add unit test on pull model Signed-off-by: Julien Tant <julien@craftyx.fr>		2018-08-13 22:04:39 +03:00
..
css	Fix dark theme diff box header backround color (#4674)	2018-08-12 21:55:48 +08:00
img	…
js	Disable merging a WIP Pull request (#4529)	2018-08-13 22:04:39 +03:00
less	Fix dark theme diff box header backround color (#4674)	2018-08-12 21:55:48 +08:00
vendor	Update jQuery to v1.12.4 (#4551)	2018-07-30 02:04:24 -04:00