Joel Challis b06740c933 Auto-create PRs for merged formatting issues (#15157) ... * Auto-create PRs for merged formatting issues * Update .github/workflows/format_push.yaml		2021-11-17 20:05:12 +00:00
..
ISSUE_TEMPLATE	Force "blank" issue template to end of list (#8387)	2020-03-12 01:27:33 -07:00
workflows	Auto-create PRs for merged formatting issues (#15157)	2021-11-17 20:05:12 +00:00
PULL_REQUEST_TEMPLATE.md	Add PR checklist document. (#9913)	2020-08-07 06:16:14 +10:00
labeler.yml	Add additional auto labeler rules (#10704)	2020-10-24 01:29:17 +01:00
stale.yml	Fix typos in stale.yml (#7489)	2019-11-26 21:45:18 +00:00