557400 – Disallow anyone pushing branches other than master to repo/gentoo.git

Bug 557400 - Disallow anyone pushing branches other than master to repo/gentoo.git

Summary: Disallow anyone pushing branches other than master to repo/gentoo.git

Status:	RESOLVED NEEDINFO

Alias:	None

Product:	Gentoo Infrastructure
Classification:	Unclassified
Component:	Git (show other bugs)
Hardware:	All Linux

Importance:	Normal normal
Assignee:	Gentoo Infrastructure

URL:	https://archives.gentoo.org/gentoo-de...
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2015-08-12 19:46 UTC by Jonas Jelten
Modified:	2015-08-12 20:10 UTC (History)
CC List:	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 Jonas Jelten 2015-08-12 19:46:35 UTC

To avoid clutter and tons of stale branches, no other branch than master should be allowed in the main portage tree repo.

Project branches have to be in repos for users or teams.

I don't know your repo setup, but using gitolite provides easy measures for that :)

Reproducible: Always

Comment 1 Mike Gilbert gentoo-dev

2015-08-12 19:53:41 UTC

See discussion on gentoo-dev.

https://archives.gentoo.org/gentoo-dev/message/1ea70a56409b70a2d79b2d70096f8907

Comment 2 Jonas Jelten 2015-08-12 20:01:47 UTC

The main problem I see is that even if branches are merged (e.g. project is finished) or deleted on the gentoo.git repo, they will remain in _all_ repos that once fetched/pulled from the main repo.

This _will_ lead to clutter and should not be done that way. The only clean solution is having separate team/project/dev repos.

Comment 3 Alex Legler (RETIRED) archtester

2015-08-12 20:10:28 UTC

Can you please discuss this on the list, not here?

Reopen if a decision to disable was made.