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. Como esto me ha pasado a mi, os lo cuento para que lo hagáis lo …
