Modificar el nombre de un repositorio de Github
Es posible e incluso probable que en algún momento hayamos creado un nuevo repositorio en Github y que poco después nos demos cuenta de que el nombre del repositorio no es el correcto o el más adecuado para ese proyecto. …
