Skip to content

[GitHub] Add permissions for CI build handling - #6359

Merged
bakpaul merged 1 commit into
masterfrom
hugtalbot-patch-5
Oct 7, 2026
Merged

bakpaul merged 1 commit into
masterfrom
hugtalbot-patch-5

Conversation

@hugtalbot

@hugtalbot hugtalbot commented Oct 7, 2026 •

Copy link
Copy Markdown
Contributor

Increase permissions for token to allow Python scripts write in PR and create statuses

Linked (but no dependency) with : sofa-framework/ci#86

[ci-depends-on https://github.com/sofa-framework/ci/pull/86]


By submitting this pull request, I acknowledge that
I have read, understand, and agree SOFA Developer Certificate of Origin (DCO).


Reviewers will merge this pull-request only if

  • it builds with SUCCESS for all platforms on the CI.
  • it does not generate new warnings.
  • it does not generate new unit test failures.
  • it does not generate new scene test failures.
  • it does not break API compatibility.
  • it is more than 1 week old (or has fast-merge label).

Increase permissions for token to allow Python scripts write in PR and create statuses
@hugtalbot
hugtalbot requested a review from bakpaul October 7, 2026 10:12
@hugtalbot hugtalbot added pr: fast merge Minor change that can be merged without waiting for the 7 review days pr: status to review To notify reviewers to review this pull-request pr: project-ci-infrastructure labels Oct 7, 2026
@github-actions

github-actions Bot commented Oct 7, 2026

Copy link
Copy Markdown

[ci-depends-on] detected.

To unlock the merge button, you must

@bakpaul
bakpaul merged commit 17b991d into master Oct 7, 2026
27 of 30 checks passed
@bakpaul
bakpaul deleted the hugtalbot-patch-5 branch October 7, 2026 11:27
@hugtalbot hugtalbot added pr: status ready Approved a pull-request, ready to be squashed and removed pr: status to review To notify reviewers to review this pull-request labels Oct 7, 2026
bakpaul pushed a commit to bakpaul/sofa that referenced this pull request Oct 29, 2026
Increase permissions for token to allow Python scripts write in PR and create statuses
@hugtalbot hugtalbot added this to the v26.12 milestone Nov 5, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: fast merge Minor change that can be merged without waiting for the 7 review days pr: project-ci-infrastructure pr: status ready Approved a pull-request, ready to be squashed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants