fix: doc-deploy-dev needs pr write permission#1392
Conversation
SMoraisAnsys
left a comment
There was a problem hiding this comment.
Many of our actions do require specific permissions and that's documented both in the associated examples and the actions description (see my "Here" comment). I'm not opposed to adding this kind of error handling but we would have to do it for the other actions too if that's the case :)
| .. important:: **Required GitHub Permissions** | ||
|
|
||
| - **contents**: ``write`` - Required to push documentation to the gh-pages branch | ||
| - **pull-requests**: ``write`` - Required to add comments on pull requests about documentation deployment |
You can just try your branch on a public repo you manage / have access to. Instead of pointing to the tag with its hash, you can leverage your branch name. |
|
Ah nice, thanks for the review @SMoraisAnsys ! |
I'm fine with adding that check but we should be consistent and apply it in other locations where we are the one managing the code that requires specific permission. In the cases where we consume third party actions (with specific permissions requirements), I wouldn't want to add things like |
I completely agree. I would say just check the permissions that are in the description and we know are needed for the part of the action we manage. |
Closes #1391. But I am not sure, how to test this?