diff options
| author | Valentin Rothberg <rothberg@redhat.com> | 2020-11-03 15:06:14 +0100 |
|---|---|---|
| committer | Valentin Rothberg <rothberg@redhat.com> | 2020-11-04 11:02:37 +0100 |
| commit | 9d78203570c0938136c5367cfc7e6320ab2d8cf9 (patch) | |
| tree | f5afeaefe0c66b3f9cb4f441d2fc63c427a2d5e1 /CONTRIBUTING.md | |
| parent | 2aaa036f560e2c42ebb033869eeef539dbc47fef (diff) | |
| download | podman-9d78203570c0938136c5367cfc7e6320ab2d8cf9.tar.gz podman-9d78203570c0938136c5367cfc7e6320ab2d8cf9.tar.bz2 podman-9d78203570c0938136c5367cfc7e6320ab2d8cf9.zip | |
add a PR template
Add a pull-request template that points to the section in the
contributing guidelines and to remind users to use the `[CI:DOCS]`
prefix if applicable.
Signed-off-by: Valentin Rothberg <rothberg@redhat.com>
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 4 |
1 files changed, 4 insertions, 0 deletions
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 |