This repository has been archived on 2024-01-04. You can view files and clone it, but cannot push or open issues or pull requests.

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
label
license
locale	Prevent merge of outdated PRs on protected branches (#11012)	2020-04-16 22:00:36 -03:00
readme