8000 feat: `github_action[bot]` create and merge update PR by yxtay · Pull Request #24 · biomejs/pre-commit · GitHub
[go: up one dir, main page]

Skip to content

feat: github_action[bot] create and merge update PR #24

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 68 commits into from
Feb 7, 2025
Merged

feat: github_action[bot] create and merge update PR #24

merged 68 commits into from
Feb 7, 2025

Conversation

yxtay
Copy link
Contributor
@yxtay yxtay commented Feb 6, 2025

Fixes #23

This changes the flow to have github_action[bot] create tags and commit on a branch and merge the branch to the main branch using a PR.

The reason for this approach is that there is no bypass for github_action[bot] to push to protected branch.

This PR only fixes the commits of future tags. The existing tags is unaffected and is still broken for pre-commit autoupdate. The best way to fix that is to checkout the tags and create a PR of the commits to the main branch. Probably checking out only the latest tag is necessary.

Sample run

dependabot bot and others added 7 commits February 7, 2025 02:20
@yxtay yxtay closed this Feb 7, 2025
@yxtay yxtay deleted the feat/protected-branch branch February 7, 2025 02:55
@yxtay yxtay restored the feat/protected-branch branch February 7, 2025 02:55
@yxtay yxtay reopened this Feb 7, 2025
yxtay and others added 8 commits February 7, 2025 11:01
Signed-off-by: YuXuan Tay <5795122+yxtay@users.noreply.github.com>
Signed-off-by: YuXuan Tay <5795122+yxtay@users.noreply.github.com>
Co-authored-by: YuXuan Tay <5795122+yxtay@users.noreply.github.com>
@ematipico ematipico merged commit ccab109 into biomejs:main Feb 7, 2025
2 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.

github_action[bot] unable to push to main branch
2 participants
0