chore: Add more users to pull request auto close exception list

This commit is contained in:
Deepesh Garg 2022-03-28 17:28:20 +05:30 committed by GitHub
parent a07a08b5f0
commit cc942cfef9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5,6 +5,7 @@ pull_request_rules:
- and:
- author!=surajshetty3416
- author!=gavindsouza
- author!=deepeshgarg007
- or:
- base=version-13
- base=version-12