search

w3c / using-github

Obsolete repo; see https://github.com/w3c/modern-tooling and https://github.com/w3c/w3c.github.io
MIT License
3 stars 7 forks source link

On merging pull requests #6

Open plehegar opened 9 years ago

plehegar commented 9 years ago

Groups may use different conventions to merge pull requests but would be good to document some practices: 1- Merged only if decision by the Group (may include link to decision as a comment) 2- Merged by editor if not substantial 3- Merged if 2 or more LGTM from Group participants and so on

tripu commented 8 years ago

Worth mentioning in the documentation, @plehegar. Assigning to you!