github: remove the trick to download the PR
Signed-off-by: Nicolas Sebrecht <nicolas.s-dev@laposte.net>
This commit is contained in:
parent
3c6b07b25f
commit
a4b89f1034
12
.github/PULL_REQUEST_TEMPLATE.md
vendored
12
.github/PULL_REQUEST_TEMPLATE.md
vendored
@ -1,14 +1,4 @@
|
|||||||
> This v1.0 template stands in `.github/`.
|
> This v1.1 template stands in `.github/`.
|
||||||
|
|
||||||
### Peer reviews
|
|
||||||
|
|
||||||
Trick to [fetch the pull
|
|
||||||
request](https://help.github.com/articles/checking-out-pull-requests-locally):
|
|
||||||
there is a (read-only) `refs/pull/` namespace.
|
|
||||||
|
|
||||||
``` bash
|
|
||||||
git fetch OFFICIAL_REPOSITORY_NAME pull/PULL_ID/head:LOCAL_BRANCH_NAME
|
|
||||||
```
|
|
||||||
|
|
||||||
### This PR
|
### This PR
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user