E.g. this is the bug I raised to change a repo description: https://bugs.eclipse.org/bugs/show_bug.cgi?id=519218
Ondro 2017-09-06 17:19 GMT+02:00 Ondrej Mihályi <[email protected]>: > Obviously, just my 2 cents as I'm not affiliated with Eclipse :-D > > But if we need to change the settings of our repos, we need to raise a bug > for eclipse, that I'm sure of. I already did it even for such a small thing > as changing the description of a repository, for which admin permissions > are required. > > Ondro > > 2017-09-06 17:08 GMT+02:00 Kevin Sutter <[email protected]>: > >> Ondro, >> Is this the blind leading the blind? JK! I always appreciate your >> help. Is writing a Bug Tracker the proper way to get this setup for our >> repos in Eclipse? >> >> Thanks, Kevin >> >> >> On Wed, Sep 6, 2017 at 9:52 AM, Ondrej Mihályi <[email protected]> >> wrote: >> >>> Hi Kevin, >>> >>> This will probably need to be done on the github project, per each >>> prject separately. >>> >>> Github supports "protecting" branches - https://help.github.com/arti >>> cles/about-protected-branches/ - which, among other things, requires at >>> least one approval before a PR can be merged. It also requires that >>> validation checks are passed, which isnt currently enforced right now I >>> think, making it possible to merge a PR even if Eclipse IP checks fail. >>> >>> We probably need to raise a bug for Eclipse admins to protect master >>> branches for each repo we need, and also remember to do it when requesting >>> a new repo. >>> >>> Ondro >>> >>> 2017-09-06 16:30 GMT+02:00 Kevin Sutter <[email protected]>: >>> >>>> Hi, >>>> We would like to require at least one review of any PRs before >>>> merging. How do we go about making this type of configuration change for >>>> our Eclipse github repos? I've searched the Handbook and I see references >>>> to Gerrit, but we're not looking for anything that "elaborate". Just a >>>> simple Protection update to require a review before merging. >>>> >>>> Thanks, >>>> Kevin >>>> Eclipse MicroProfile >>>> >>>> _______________________________________________ >>>> incubation mailing list >>>> [email protected] >>>> To change your delivery options, retrieve your password, or unsubscribe >>>> from this list, visit >>>> https://dev.eclipse.org/mailman/listinfo/incubation >>>> >>>> >>> >>> _______________________________________________ >>> incubation mailing list >>> [email protected] >>> To change your delivery options, retrieve your password, or unsubscribe >>> from this list, visit >>> https://dev.eclipse.org/mailman/listinfo/incubation >>> >>> >> >> _______________________________________________ >> incubation mailing list >> [email protected] >> To change your delivery options, retrieve your password, or unsubscribe >> from this list, visit >> https://dev.eclipse.org/mailman/listinfo/incubation >> >> >
_______________________________________________ incubation mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/incubation
