gitea/options
6543 c52d48aae4
Prevent merge of outdated PRs on protected branches (#11012)
* Block PR on Outdated Branch

* finalize

* cleanup

* fix typo and sentences

thanks @guillep2k

Co-Authored-By: guillep2k <18600385+guillep2k@users.noreply.github.com>

Co-authored-by: guillep2k <18600385+guillep2k@users.noreply.github.com>
Co-authored-by: Lauris BH <lauris@nix.lv>
2020-04-16 22:00:36 -03:00
..
gitignore Delete conflicting file (#9526) 2019-12-28 10:43:03 +00:00
label
license chore: update license list (#9436) 2019-12-20 08:17:25 +08:00
locale Prevent merge of outdated PRs on protected branches (#11012) 2020-04-16 22:00:36 -03:00
readme