Closed paulvi closed 6 years ago
Thank you for push access. In fact, if every PR is merged, it may be even better to go on with usual GitHub flow, as it is better for talking over changes.
sure. I also added you as contributor. And, thanks for contributing too.
Thank you for push access. In fact, if every PR is merged, it may be even better to go on with usual GitHub flow, as it is better for talking over changes.