Skip to content

Dev#45

Merged
JE-Chen merged 2 commits intomainfrom
dev
Apr 21, 2026
Merged

Dev#45
JE-Chen merged 2 commits intomainfrom
dev

Conversation

@JE-Chen
Copy link
Copy Markdown
Member

@JE-Chen JE-Chen commented Apr 21, 2026

No description provided.

JE-Chen added 2 commits April 21, 2026 18:17
Replace the direct `git push` to `main` with a Python call to the
GraphQL createCommitOnBranch mutation. GitHub signs the resulting
commit with its own key, satisfying the `main` branch's "require
signed commits" rule. The `github-actions[bot]` actor still needs
to be on the branch-protection bypass list for the "require PR"
rule (repo settings, not codified here).
@sonarqubecloud
Copy link
Copy Markdown

@codacy-production
Copy link
Copy Markdown

Up to standards ✅

🟢 Issues 0 issues

Results:
0 new issues

View in Codacy

TIP This summary will be updated as you push new changes. Give us feedback

@JE-Chen JE-Chen merged commit 5383386 into main Apr 21, 2026
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant