Tell the client how long the Mercure authorization cookie lives #207
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: PR Policy | |
| # Enforces PR requirements before merge. Make the "Milestone assigned" check required | |
| # (repo ruleset / branch protection) so it actually blocks merging. | |
| on: | |
| pull_request: | |
| types: | |
| - opened | |
| - reopened | |
| - synchronize | |
| - ready_for_review | |
| - milestoned | |
| - demilestoned | |
| permissions: | |
| contents: read | |
| jobs: | |
| milestone: | |
| name: Milestone assigned | |
| if: github.event.pull_request.draft == false | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Check milestone | |
| env: | |
| MILESTONE: ${{ github.event.pull_request.milestone.title }} | |
| AUTHOR: ${{ github.event.pull_request.user.login }} | |
| run: | | |
| # Automated sync PRs (repo-file-sync-action) never carry a milestone. | |
| if [ "$AUTHOR" = "pimcore-deployments" ]; then | |
| echo "Skipping milestone check for automated PR by $AUTHOR" | |
| exit 0 | |
| fi | |
| if [ -z "$MILESTONE" ]; then | |
| echo "::error::A milestone must be assigned before this pull request can be merged." | |
| exit 1 | |
| fi | |
| echo "Milestone assigned: $MILESTONE" |