Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Bot to sync with upstream #12

Open
KaruroChori opened this issue Nov 27, 2024 · 0 comments
Open

Bot to sync with upstream #12

KaruroChori opened this issue Nov 27, 2024 · 0 comments
Assignees
@KaruroChori
Labels
enhancement New feature or request upstream

Comments

@KaruroChori
Copy link
Collaborator

KaruroChori commented Nov 27, 2024 •
edited
Loading

Manually handling it is a bit of a chore.
A workflow checking weekly or so and opening a PR would be great to keep it up to date (the previous PRs should get closed if not resolved).
@KaruroChori KaruroChori self-assigned this Nov 27, 2024
@KaruroChori KaruroChori added enhancement New feature or request upstream labels Nov 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@KaruroChori KaruroChori

Labels
enhancement New feature or request upstream
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@KaruroChori