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.

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

valid PRs closed by develop -> main change #77

Closed
3 of 4 tasks
Code0x58 opened this issue Dec 7, 2024 · 2 comments
Closed
3 of 4 tasks

valid PRs closed by develop -> main change #77

Code0x58 opened this issue Dec 7, 2024 · 2 comments

Comments

@Code0x58
Copy link
Contributor

Code0x58 commented Dec 7, 2024

From looking at my inbox + the PR list, these were closed 1 hour ago

It appears to have been caused by the removal of the develop branch

image

Nice to see some activity on this repo again

@nicoddemus
Copy link
Member

Indeed, that was the cause -- it was accidental as I thought GitHub would handle this correctly (re-targeting the branches in this case).

Thanks for reopening some of those, really appreciate it!

@nicoddemus
Copy link
Member

I think we can close this issue in particular, let me know if you want to keep it open for any reason.

@nicoddemus nicoddemus closed this as not planned Won't fix, can't repro, duplicate, stale Dec 7, 2024
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

No branches or pull requests

2 participants