nuttx-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <...@apache.org>
Subject [GitHub] [incubator-nuttx-website] btashton opened a new pull request #21: Only publish site on push to master. Build for all PR
Date Fri, 10 Apr 2020 03:22:38 GMT
btashton opened a new pull request #21: Only publish site on push to master.  Build for all
PR
URL: https://github.com/apache/incubator-nuttx-website/pull/21
 
 
   This resolves an issue where the GitHub action could not perform the push action against
the repository.  Now the site is built for all pull requests, but only is published on the
push to the master branch.  Note that the push to master event happens when the pull request
is merged.
   
   This restriction is because you do not want the PR context to be able to have write access
to the repository as outlined here:
   https://help.github.com/en/actions/configuring-and-managing-workflows/authenticating-with-the-github_token#permissions-for-the-github_token

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services

Mime
View raw message