diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2020-08-31 00:59:22 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-08-31 08:08:31 +0200 |
commit | 1c00b4812edb439f47938d074b9c4f73b2cc0ad3 (patch) | |
tree | 816fbcbb65594081b54c27c082c5dcc66f467889 /.github/PULL_REQUEST_TEMPLATE.md | |
parent | e3672365cf95b98135c2b65446995dcd85b92d5e (diff) | |
download | ghdl-1c00b4812edb439f47938d074b9c4f73b2cc0ad3.tar.gz ghdl-1c00b4812edb439f47938d074b9c4f73b2cc0ad3.tar.bz2 ghdl-1c00b4812edb439f47938d074b9c4f73b2cc0ad3.zip |
ci: use buildthedocs/btd to build and publish the docs to GHP
Diffstat (limited to '.github/PULL_REQUEST_TEMPLATE.md')
-rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 8270c9713..18c1e6459 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -1,7 +1,7 @@ **Description** Please explain the changes you made here. If the feature changes current behaviour, explain why your solution is better. -:rotating_light: Before submitting your PR, please read [contribute](http://ghdl.readthedocs.io/en/latest/contribute.html#fork-modify-and-pull-request) in the [Docs](http://ghdl.readthedocs.io/en/latest/index.html), and review the following checklist: +:rotating_light: Before submitting your PR, please read [contribute](http://ghdl.github.io/ghdl/contribute.html#fork-modify-and-pull-request) in the [Docs](http://ghdl.github.io/ghdl), and review the following checklist: - [ ] DO indicate which issues are either fixed or closed by this PR. See [GitHub Help: Closing issues using keywords](https://help.github.com/articles/closing-issues-via-commit-messages/). @@ -11,13 +11,13 @@ If the feature changes current behaviour, explain why your solution is better. - [ ] DO make sure you are making a pull request against the **master branch** (left side). Also you should start *your branch* off *our master*. - [ ] DO make sure that GHDL can be successfully built. See [Building GHDL](https://github.com/ghdl/ghdl#building-ghdl). - [ ] CONSIDER adding a unit test if your PR resolves an issue. -- [ ] CONSIDER modifying the docs, at least in the TODO, if your contribution is relevant to any of the content. +- [ ] CONSIDER modifying the docs, if your contribution is relevant to any of the content. - [ ] AVOID breaking the continuous integration build. - [ ] AVOID breaking the testsuite. **When contributing to the docs...** -- [ ] DO make sure that the build is successful. See [ghdl/ghdl#572 (issuecomment-390466024)](https://github.com/ghdl/ghdl/issues/572#issuecomment-390466024). +- [ ] DO make sure that the build is successful. **Further comments** |