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	add request review from specific reviewers feature in pull request (#10756)	2020-04-06 19:33:34 +03:00
mailer	[BugFix] Avoid mailing explicit unwatched (#10475)	2020-02-27 10:07:05 +00:00
mirror	…
pull	Prevent merge of outdated PRs on protected branches (#11012)	2020-04-16 22:00:36 -03:00
release	…
repository	…
wiki	Handle push rejection in branch and upload (#10854)	2020-03-28 01:13:18 -03:00