Hi all, I have a question on the GitHub repos — sorry if you already discussed it.
What permissions do we get for those GitHub repos and how? I wanted to green-light a PR, which is why I'm wondering. Thanks, -- Alexandru Nedelcu alexn.org --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
