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

5.4 KiB

Raw Blame History

View Raw