You are viewing a plain text version of this content. The canonical link for it is here.
Posted to jdo-dev@db.apache.org by GitBox <gi...@apache.org> on 2021/03/15 13:31:46 UTC
[GitHub] [db-jdo-site] tobous opened a new pull request #34: JDO-792: Add branch protection rules for 'master' branch
tobous opened a new pull request #34:
URL: https://github.com/apache/db-jdo-site/pull/34
#### Rename GitHub action jobs
Renames the GitHub action "Job" entries to make them distinguishable.
The "Job" entry is used to specify which actions to require before
merging. Therefore, giving them distinct names is important.
#### JDO-792: Add branch protection rules
Adds the following branch protection rules for the 'master' branch:
- require a linear history (disallow merge commits)
- require the 'build-site' action to pass before merging a PR
- require PRs to be up-to-date before merging
Disables the option "Create a merge commit" for merging a PR as merge
commits are not desired.
----------------------------------------------------------------
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
[GitHub] [db-jdo-site] tobous merged pull request #34: JDO-792: Add branch protection rules for 'master' branch
Posted by GitBox <gi...@apache.org>.
tobous merged pull request #34:
URL: https://github.com/apache/db-jdo-site/pull/34
----------------------------------------------------------------
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
[GitHub] [db-jdo-site] tobous commented on pull request #34: JDO-792: Add branch protection rules for 'master' branch
Posted by GitBox <gi...@apache.org>.
tobous commented on pull request #34:
URL: https://github.com/apache/db-jdo-site/pull/34#issuecomment-800460778
Removed requirement for PRs to be up-to-date before merging.
----------------------------------------------------------------
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