Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 560940 - github/gentoo/gentoo repo missing from gentoo/teams/developers team
Summary: github/gentoo/gentoo repo missing from gentoo/teams/developers team
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Infrastructure
Classification: Unclassified
Component: Gentoo Overlays (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Overlays Project
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-09-20 18:25 UTC by SpanKY
Modified: 2015-09-25 15:40 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description SpanKY gentoo-dev 2015-09-20 18:25:59 UTC 
the gentoo/gentoo repo is not listed in the repos for the gentoo/developers team which means far fewer developers have access to manage things in there
Comment 1 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2015-09-20 18:29:05 UTC 
This is intentional. Otherwise developers are going to accidentally click the big 'merge' button and get stuff merged into the mirror instead of the real repo.
Comment 2 SpanKY gentoo-dev 2015-09-20 19:11:05 UTC 
doesn't really matter when the main repo is being pushed with --force into github.  there's lots of things developers can do wrong in Gentoo, but we don't lock them out.
Comment 3 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2015-09-25 15:40:20 UTC 
Should be open now. Let's see how that works.