diff options
author | OpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com> | 2020-11-04 05:15:34 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-04 05:15:34 -0500 |
commit | 0a0988e6b9568a38090de24ff18f6b773cc61627 (patch) | |
tree | b6cdfa79c8ad898daf253db78c8b8f712cf3d521 | |
parent | 52dd64596a2150ccf621345d1c4a2d68ee793b6c (diff) | |
parent | 9d78203570c0938136c5367cfc7e6320ab2d8cf9 (diff) | |
download | podman-0a0988e6b9568a38090de24ff18f6b773cc61627.tar.gz podman-0a0988e6b9568a38090de24ff18f6b773cc61627.tar.bz2 podman-0a0988e6b9568a38090de24ff18f6b773cc61627.zip |
Merge pull request #8229 from vrothberg/pr-template
[CI:DOCS] add a PR template
-rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 7 | ||||
-rw-r--r-- | CONTRIBUTING.md | 4 |
2 files changed, 11 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 000000000..568cf7240 --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,7 @@ +<!-- +Thanks for sending a pull request! + +Please make sure you've read our contributing guidelines and how to submit a pull request (https://github.com/containers/podman/blob/master/CONTRIBUTING.md#submitting-pull-requests). + +In case you're only changing docs, make sure to prefix the pull-request title with "[CI:DOCS]". That will prevent functional tests from running and save time and energy. +--> diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 308c7b197..1d2c26750 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -157,6 +157,10 @@ when the PR is merged. PRs will be approved by an [approver][owners] listed in [`OWNERS`](OWNERS). +In case you're only changing docs, make sure to prefix the PR title with +"[CI:DOCS]". That will prevent functional tests from running and save time and +energy. + ### Describe your Changes in Commit Messages Describe your problem. Whether your patch is a one-line bug fix or 5000 lines |