Open JLLeitschuh opened 2 years ago
I accidentally generated duplicates due to a bug in the generation logic. I wanted to close the duplicates and leave the correct one didn't bother maintainers as much.
Sorry about the confusion, and sorry about the duplicate PR, I was trying to correct the mistake
I accidentally generated duplicates due to a bug in the generation logic. I wanted to close the duplicates and leave the correct one didn't bother maintainers as much.
Sorry about the confusion, and sorry about the duplicate PR, I was trying to correct the mistake
It's all good -- some of them you did say "closing in favour of
@JLLeitschuh you've started to close some of your PRs without explanation:
Is there a reason for this? Have you decided the issues aren't legitimate, or is there some other reason you're closing them?