Por cierto, hoy ghedsh me hizo un favor: tenía que sacar un listado de los repos de proyectos de la organización y ¡fué mucho más útil que usar las web pages de github! :+1:.
Hoy también tuve que cliquear unas cuantas veces para nombrar admin de los repos de proyectos a todos los equipos del conjunto de repos de una asignación.
Algo así como un script ghedsh de este tipo me habría salvado:
for r in repos /projects/ {
cd r
cd settings
cd collaborators
set permission admin
}
Por cierto, hoy
ghedsh
me hizo un favor: tenía que sacar un listado de los repos de proyectos de la organización y ¡fué mucho más útil que usar las web pages de github! :+1:.Hoy también tuve que cliquear unas cuantas veces para nombrar admin de los repos de proyectos a todos los equipos del conjunto de repos de una asignación.
Algo así como un script
ghedsh
de este tipo me habría salvado:aunque parece que estamos lejos de eso ...