Closed rs2 closed 7 years ago
Would/should closed contributions even count?
@stuntguy3000 In what sense closed? :)
This PR was not merged. If people use git in stupid ways like this, then unfournatly I don't think it can be too easy to detect that its your contribution.
@stuntguy3000 You are right. Until now I thought that my commits were merged as a result of my PR.
Indeed I am ;)
E.g. https://github.com/pandas-dev/pandas/pull/12909