Extending GitHub Command Line Interface

gh create-repo

Using gh api and gh alias --shell add to gh an extension gh create-repo that creates the repo inside the given organization:

$ gh create-repo tuturepo ULL-ESIT-PL-2021
$ gh repo view ULL-ESIT-PL-2021/tuturepo -w

Use the GitHub REST API

gh delete-repo

The same but with delete:

$ gh delete-repo tuturepo ULL-ESIT-PL-2021

Then, after issuing the command and refreshing the former page we get:

Entrega

En el repo de la asignación alabore un informe con las soluciones encontradas

Rúbrica

Incidencias para el Project Board para la práctica

Extending GitHub Command Line Interface

  • Las soluciones publicadas son correctas

  • El repo, el informe y los project boards están bien