New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Tracking issue para permitir a los grupos hacer push directo #60

Open

1 task

dato opened this issue Oct 12, 2020 · 1 comment

Open

1 task

Tracking issue para permitir a los grupos hacer push directo #60

dato opened this issue Oct 12, 2020 · 1 comment

Labels

Member

dato commented Oct 12, 2020

Tengo algunas ideas que iré escribiendo por acá.

Mecanismo para prevenir que mergeen el PR por accidente, aún sin corregir
- CODEOWNERS (lo uso en otras materias, tiene algunos rough edges pero se puede hacer andar bien)
- forks (pero creo que es mejor que no tengan que forkear)

dato added the alu_repos label

Member Author

dato commented Jun 2, 2022

Esto es algo que potencialmente habría interés en tener/testear, @mbuchwald ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment