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

PRs closed without any info? #481

Open
kotx opened this issue Jun 19, 2022 · 7 comments
Open

PRs closed without any info? #481

kotx opened this issue Jun 19, 2022 · 7 comments

Comments

@kotx
Copy link

kotx commented Jun 19, 2022

I've seen a few of these
image
No idea how it happens without attribution or anything but I'm curious as to why

@Asday
Copy link

Asday commented Jun 19, 2022

Such as?

@kotx
Copy link
Author

kotx commented Jun 19, 2022

#448
#479
#473

@kotx
Copy link
Author

kotx commented Jun 19, 2022

Usually the messages say who closed them. Another weird quirk is if it gets closed, all new comments go above the "This pull request was closed" message.

@cat-milk
Copy link
Owner

That's definitely strange I don't remember closing any of these. Maybe another maintainer did it or maybe its some weird repo setting im not aware of.

#448 #479 #473
@Kholodets @empty-quiver did either of you close these?

@Kholodets
Copy link
Collaborator

no i didnt close any of these i havent been active in a while, very strange

@Asday
Copy link

Asday commented Jun 29, 2022

Well-noticed @kotx, imo all of those linked should be merged. The deleting crypto one should be merged twice.

@Young-Lord
Copy link

If your fork repo is closed, the PR is automatically closed.

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

5 participants