Prior to the github migration, I as a JDT committer could review and merge N&N entries for JDT via gerrit.
After the github migration, I am just a contributor and someone else needs to merge. Is it possible to give me and other JDT committers the ability to merge PRs to the news repo or can that only be done for full platform-dev committers? If it requires full platform-dev committers, can the repo be moved outside of platform-dev and all relevant committers be given access to it? -- Jeff J.
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
