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
..
comments
externalaccount
gitdiff
issue
mailer
mirror
pull
release
repository
wiki