Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upPull request closed without a given reason #3096
Comments
|
The reason was given as the label |
|
Ok, fine for me, but take into account:
I would propose the following process improvement:
|


My pull request #3071 was closed without a given reason.
I don’t mind it being closed without merging but I would like to learn why.
After all learning is the main purpose of this repo, no?