1
0
mirror of https://github.com/go-gitea/gitea.git synced 2024-12-04 14:46:57 -05:00
gitea/public
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 Add dingtalk webhook (#2777) 2017-11-21 06:26:43 +02:00
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