From 5ee7949c79d4297e46077a94ffb891e0389c17b2 Mon Sep 17 00:00:00 2001 From: Dustin Rodrigues Date: Sun, 21 Feb 2021 13:50:25 -0500 Subject: [PATCH] PR template: remove local 'brew man' step now that it's scheduled --- .github/PULL_REQUEST_TEMPLATE.md | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 7dd8621f00..ff375f8801 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -5,6 +5,5 @@ - [ ] Have you successfully run `brew style` with your changes locally? - [ ] Have you successfully run `brew typecheck` with your changes locally? - [ ] Have you successfully run `brew tests` with your changes locally? -- [ ] Have you successfully run `brew man` locally and committed any changes? -----