> - @admins have the ability to git push and git push --force If @admins is supposed to mirror geda-admins, then we need to come up with some agreed-upon policy for adding admins, since if a subproject wants an admin, they'll be admins everywhere. I have no problem with that in general, but we should discuss the policy beforehand :-)
-- Mailing list: https://launchpad.net/~geda-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~geda-developers More help : https://help.launchpad.net/ListHelp
