Closed gschaffner closed 2 years ago
Ha... @danhuaxu good to just approve and let the original code pusher merge in.
Ah, ok will do it next time.
Actually, for these projects that we're planning to make public, I think it makes sense to have the main author(s) of the project responsible for merging PR's. After all, if people outside the lab make PR's, it should be the project's maintainers merging the PR (and it might need to be; I don't think that GH lets those without write access to the repository merge PR's).
This is a good point. New territory, new protocols.
Ha... @danhuaxu good to just approve and let the original code pusher merge in.