Prompt Title: Conectar repositorio GitHub en Linux

Para agregar un repositorio de GitHub como un control remoto en Git, puedes seguir los siguientes pasos en la terminal de Linux:

1. Navega hasta el directorio local del repositorio en el que deseas agregar el control remoto utilizando el comando "cd".

   bashCopy code
   cd /ruta/a/tu/repositorio/local
   

2. Agrega el control remoto utilizando el comando "git remote add". Reemplaza "nombre-remoto" con un nombre descriptivo para el control remoto, y "url-repositorio" con la URL del repositorio en GitHub.

   csharpCopy code
   git remote add nombre-remoto url-repositorio
   

   Por ejemplo, si deseas agregar un control remoto llamado "origin" para un repositorio llamado "mi-repo" en tu cuenta de GitHub, puedes usar el siguiente comando:

   csharpCopy code
   git remote add origin https://github.com/tu-usuario/mi-repo.git
   

   Si ya existe un control remoto con el mismo nombre, puedes usar el comando "git remote set-url" para cambiar la URL del control remoto.

   arduinoCopy code
   git remote set-url nombre-remoto url-nueva
   

3. Verifica que el control remoto se haya agregado correctamente utilizando el comando "git remote -v". Esto mostrará una lista de todos los controles remotos configurados para el repositorio local.

   Copy code
   git remote -v
   

   Si todo está configurado correctamente, deberías ver la URL del control remoto que acabas de agregar.

   perlCopy code
   origin  https://github.com/tu-usuario/mi-repo.git (fetch)
   origin  https://github.com/tu-usuario/mi-repo.git (push)
   

Con estos pasos, deberías poder agregar un repositorio de GitHub como un control remoto en Git en Linux y comenzar a trabajar en él localmente.