I am not a Maven or other Apache committer. I just wanted to help and saw the initial question about GitHub PRs which I have answered. I really cannot say anything intelligent about the follow-up questions though, only one general thing: Now you know what type of access right you need for GitHub PR merging, ask the respective repo owners to issue them to those who need it.
Good luck -- Alexander Kriegisch > Am 24.05.2014 um 18:48 schrieb Michael Osipov <micha...@apache.org>: > > Am 2014-05-24 17:38, schrieb Alexander Kriegisch: >> As for necessary permissions: >> https://help.github.com/articles/what-are-the-different-access-permissions > > That's good but how does one know whether he as Write Access Teams > > Repository Access' or not. Especially for mirrored repos. > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org > For additional commands, e-mail: dev-h...@maven.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org For additional commands, e-mail: dev-h...@maven.apache.org