I see you’ve created a thread for spec editing discussions.
To repeat the concrete question: who gets Github commit privileges? Currently it’s David F (and me, because I’m an IFTF admin). If we let that stand, then David is in charge of admitting all changes to the repo. Which is fine, if that’s what people want! I just want to make sure everyone agrees on the procedure.