6543 c52d48aae4 Prevent merge of outdated PRs on protected branches (#11012 An error occurred ) ... * 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>		5 years ago
..
comments	…
externalaccount	…
gitdiff	…
issue	add request review from specific reviewers feature in pull request (#10756 An error occurred )	5 years ago
mailer	…
mirror	…
pull	Prevent merge of outdated PRs on protected branches (#11012 An error occurred )	5 years ago
release	…
repository	…
wiki	…