Repository navigation
Change default branch from 'master' to 'main' - #122
Conversation
Codex Review SummaryThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 02d3f4d21c
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| push: | ||
| branches: | ||
| - master | ||
| - main |
There was a problem hiding this comment.
Add a regression test for the main-branch trigger
This workflow behavior changes without the test-suite update required for every repository change. Add a spec that parses .github/workflows/main.yml and asserts that pushes to main trigger the workflow, so a future branch-name regression cannot silently disable push CI.
AGENTS.md reference: AGENTS.md:L4-L4
Useful? React with 👍 / 👎.
Closes #116
Summary by CodeRabbit
maininstead ofmaster. Pull-request triggers remain unchanged. This does not introduce any user-facing feature changes.