It seems #3644 was my 10th PR merged, not sure which was the 5th one I reviewed. Note: it also seems @mebeim has been an active organization member for more than 6 months. Shouldn't he become an organization owner now?
It seems #3644 was my 10th PR merged, not sure which was the 5th one I reviewed.
Note: it also seems @mebeim has been an active organization member for more than 6 months. Shouldn't he become an organization owner now?