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

my closed pull requests #253

Closed
adrelanos opened this issue Nov 22, 2023 · 2 comments
Closed

my closed pull requests #253

adrelanos opened this issue Nov 22, 2023 · 2 comments

Comments

@adrelanos
Copy link
Contributor

Sorry about the closed pull requests noise.

I was attempting to make github actions work in my personal (soft) fork (only for the purpose of contributing and carrying delta until merged here upstream). Previously I had pressed the github fork button. But apparently such repositories cannot run github actions.

To have a "real" fork I deleted the repository, manually created and pushed. That fixed the github actions in my personal repository but had the unwanted side effects of closing all my prior pull requests here upstream. I am trying to figure out how to re-open these.

@adrelanos
Copy link
Contributor Author

@mika
Copy link
Member

mika commented Dec 7, 2023

Yeah, this was quite some noise in my inbox 🥲

Seems like these cannot be re-opened. I'll create new PRs for the recent / realistic ones.

ACK, please do so about the issues your care about, closing this one now

@mika mika closed this as completed Dec 7, 2023
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