diff options
author | Justin Shillingford <jgs272@cornell.edu> | 2020-06-23 16:56:33 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-23 16:56:33 -0400 |
commit | b92ff5da4dfe30620ad8c2c2eae027c33781701e (patch) | |
tree | 7d9e480e5e4b7569e8489dfec3173d9bc6925bce | |
parent | 9e161afe66e4a2dfa3b3a4ee569309f839109712 (diff) |
Update pull_request.md
Added Documentation/repository update option to Types of changes
-rw-r--r-- | .github/pull_request_template.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 8606ee25..5445a12e 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -18,6 +18,7 @@ - [ ] Bug fix (non-breaking change which fixes an issue) - [ ] New feature (non-breaking change which adds functionality) - [ ] Breaking change (fix or feature that would cause existing functionality to change) +- [ ] Documentation/repository update ## Checklist: <!--- Go over all the following points, and put an `x` in all the boxes that apply. --> |