delorie.com/archives/browse.cgi | search |
X-Authentication-Warning: | delorie.com: mail set sender to geda-user-bounces using -f |
X-Recipient: | geda-user AT delorie DOT com |
Message-ID: | <522E2B58.4030803@xs4all.nl> |
Date: | Mon, 09 Sep 2013 22:11:04 +0200 |
From: | Bert Timmerman <bert DOT timmerman AT xs4all DOT nl> |
User-Agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.19) Gecko/20110429 Fedora/2.0.14-1.fc13 SeaMonkey/2.0.14 |
MIME-Version: | 1.0 |
To: | geda-user AT delorie DOT com |
Subject: | [geda-user] Fwd: Re: [Geda-developers] git.geda-project.org permissions change |
X-Virus-Scanned: | by XS4ALL Virus Scanner |
Reply-To: | geda-user AT delorie DOT com |
-------- Original Message -------- Subject: Re: [Geda-developers] git.geda-project.org permissions change Date: Sun, 08 Sep 2013 22:23:41 +0200 From: Bert Timmerman <bert DOT timmerman AT xs4all DOT nl> To: Peter TB Brett <peter AT peter-b DOT co DOT uk> Peter TB Brett wrote: > Hi all, > > I've now changed the default git push policy for all repos on > geda-project.org: > > - @admins have the ability to git push and git push --force > > - Other developers have the ability to git push only. > > This can be adjusted by specific projects' maintainers if they wish, in > order to better suit the desired git workflow for their projects. > > Regards, > > Peter > > > > Hi Peter, I understand this policy. If topic branches are not merged within a reasonable time they lose value and start to bit rot. One can always cherry pick into a new topic branch. Oh, and maybe deletion of topic branches should be an admin task too. Kind regards, Bert Timmerman.
webmaster | delorie software privacy |
Copyright © 2019 by DJ Delorie | Updated Jul 2019 |