diff options
| author | Tom Rini <trini@konsulko.com> | 2020-07-10 16:00:08 -0400 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2020-07-15 15:47:48 -0400 |
| commit | 19d76290f0dc06ccd6f9b9ffcb28200aceda2e3e (patch) | |
| tree | 26b911fb2c7387feef6501846c9757ca6ee0591f /.github | |
| parent | 3f126c764d63ddf6f26bc742a96938a0ecd8b8dc (diff) | |
| download | u-boot-19d76290f0dc06ccd6f9b9ffcb28200aceda2e3e.tar.gz u-boot-19d76290f0dc06ccd6f9b9ffcb28200aceda2e3e.tar.xz u-boot-19d76290f0dc06ccd6f9b9ffcb28200aceda2e3e.zip | |
github: azure: Update our GitHub template to note for CI
While the general policy of not taking changes to the project via pull
requests directly on GitHub has not changed, it can be useful to submit
a PR there in order to trigger a CI run on Azure. These are run
automatically and the results are populated back to GitHub. Add a note
to the template to reflect this.
Signed-off-by: Tom Rini <trini@konsulko.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/pull_request_template.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 23599b97c0..ae91252a00 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -1,3 +1,6 @@ Please do not submit a Pull Request via github. Our project makes use of mailing lists for patch submission and review. For more details please see https://www.denx.de/wiki/U-Boot/Patches + +The only exception to this is in order to trigger a CI loop on Azure prior +to posting of patches. |