Hi guys,
So i have pull requests that were closed by the github bot and or will be closed due to the fact that they didn't receive any answer from the maintainers of the repo.
I see that my pull requests and many others are fairly simple and clear, but they stay unprocessed.
That will add up to the long queue of pull requests, why not make a decision and choose to merge them or close them ?
Hi guys,
So i have pull requests that were closed by the github bot and or will be closed due to the fact that they didn't receive any answer from the maintainers of the repo.
I see that my pull requests and many others are fairly simple and clear, but they stay unprocessed.
That will add up to the long queue of pull requests, why not make a decision and choose to merge them or close them ?