My understanding was PRs are made after discussion on list. Any subsequent comments are then address with extra commits to the original PR
I must say I'm personally happy to make early PRs and using githubs comment features for all discussion. I guess it depends where we want the public history of our decisions to be.
Steve
On Thu, Feb 9, 2017 at 3:07 AM +0000, "Thaddeus ." <inclusivethinking@gmail.com> wrote:
Hi Lisa,
Are you referring to initial Pull Requests to open up discussion or final Pull Requests that incorporate feedback?
Best,
Thaddeus
On Feb 8, 2017 1:37 PM, "lisa.seeman" <lisa.seeman@zoho.com> wrote:
Hi Folks,
Can you send me a status update on when your pull request will be finished (if I do not already know)
We need to finish off any high priority ones today or tomorow. Tomorrow morning I will be doing a lot of pull requests. If you are getting stuch with it send me the SC final text and any glossary definitions in an email and Michael or me will do the pull request for you.
All the best
Lisa Seeman
LinkedIn, Twitter