Closed jhollist closed 7 years ago
@tim-salabim Should we use pull requests for edits or direct edit and push?
Thanks for setting this up and including me! I'm more than a bit humbled to be included in such good company!
I vote for PR. PRs are very good for collaboration.
I am happy with both.
Closing this as PRs seems to be preference.
@tim-salabim Should we use pull requests for edits or direct edit and push?
Thanks for setting this up and including me! I'm more than a bit humbled to be included in such good company!