Thread Previous • Date Previous • Date Next • Thread Next |
> - @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 :-)
Thread Previous • Date Previous • Date Next • Thread Next |