documentation: emphasize the head of a pull request is not trusted

This commit is contained in:
Earl Warren 2023-11-08 17:20:04 +01:00
parent 9e848c27a8
commit e858de5450
No known key found for this signature in database
GPG key ID: 0579CB2928A78A00
2 changed files with 10 additions and 4 deletions

View file

@ -51,8 +51,11 @@ It is recommended that a dedicated user is used to create
`destination-token` and that `destination-fork-repo` is always used `destination-token` and that `destination-fork-repo` is always used
unless the users who are able to create pull requests are trusted. unless the users who are able to create pull requests are trusted.
When the PR is from a forked repository, the `update` script is checked out from When the PR is from a forked repository, the `update` script is run
the default branch instead of the head branch of the fork. from the default branch of the base repository instead of the head
branch of the fork. The pull request author must not be trusted
and it is imperative that the `update` script never runs anything
found in the head branch of the pull request.
If the fork of the destination repository is specified and it does If the fork of the destination repository is specified and it does
not exist, it is created. not exist, it is created.

View file

@ -50,8 +50,11 @@ description: |
`destination-token` and that `destination-fork-repo` is always used `destination-token` and that `destination-fork-repo` is always used
unless the users who are able to create pull requests are trusted. unless the users who are able to create pull requests are trusted.
When the PR is from a forked repository, the `update` script is checked out from When the PR is from a forked repository, the `update` script is run
the default branch instead of the head branch of the fork. from the default branch of the base repository instead of the head
branch of the fork. The pull request author must not be trusted
and it is imperative that the `update` script never runs anything
found in the head branch of the pull request.
If the fork of the destination repository is specified and it does If the fork of the destination repository is specified and it does
not exist, it is created. not exist, it is created.