| commit | 23536274bb7baabe5c33140620471e897cf34cf2 | |
| author | Artem Pelenitsyn <a.pelenitsyn@gmail.com> | |
| Thu, 21 Jul 2022 16:33:31 +0000 (21 12:33 -0400) | ||
| committer | GitHub <noreply@github.com> | |
| Thu, 21 Jul 2022 16:33:31 +0000 (21 12:33 -0400) | ||
| tree | bdaf0d6e61f82ce9f1c8640a52dcf6378f358227 | treesnapshot (tar.gz zip) |
| parent | b7afc9709d120c7b90155a29f41366743c61d133 | commitdiff |
[ mergify ] require 2 days to pass after last update of PR to merge it (#8285)
Co-authored-by: Mikolaj Konarski <mikolaj@well-typed.com>
Co-authored-by: Mikolaj Konarski <mikolaj@well-typed.com>
Co-authored-by: Mikolaj Konarski <mikolaj@well-typed.com>
Co-authored-by: Mikolaj Konarski <mikolaj@well-typed.com>
| .github/mergify.yml | diffblobblamehistory | |
| CONTRIBUTING.md | diffblobblamehistory |