Intrucciones para mantener los repositorios en los duckiebots y los workstations

instrucciones_repos_duckiebots_workstation.md

Intrucciones para mantener los repositorios en los duckiebots y los workstations

Duckietown:

En el duckietown, el repositorio está linkeado a alguien del equipo de Duckietown-Chile. Nosotros queremos que este linkeado a su usuario de git. Si quieren ver a quien esta linkeada la cuenta basta con hacer:

$ git config –l
…
user.email=team@mail.com
user.name=Someone from the team
…

Para que este linkeado a nuestra cuenta tenemos que hacer:

$ git config user.name “your name”
$ git config user.email “your mail”

Finalmente, para comprobarlo:

$ git config –l
…
user.email=your mail
user.name=your name
…

En el duckietown está el repositorio de clonado desde Duckietown-Chile. Nosotros queremos que suban sus códigos a sus repositorios desde donde hicieron el fork, para eso debemos linkear el repositorio del duckiebot con el fork que hicieron. Además queremos que estos repositorios estén al día con el repositorio principal de Duckietown-Chile, para ello también vamos a linkear el repositorio del duckiebot con el repositorio de Duckietown-Chile. Para hacer esto debemos hacer:

$ git remote rename origin duckietown
$ git remote add origin <url de su repositorio remoto>

Para comprobar que este todo bien, tienen que hacer:

$ git remote –v 
duckietown      https://github.com/Duckietown-Chile/Software.git (fetch)
duckietown      https://github.com/Duckietown-Chile/Software.git (push)
origin  https://github.com/<your_user>/Software.git (fetch)
origin  https://github.com/<your_user>/Software.git (push)

Con eso tenemos los dos repositorios conectados en el duckiebot.

Ahora, si queremos guardar nuestros cambios en nuestros repositorios, tenemos que hacer (después de hacer commit):

$ git push origin master

Si queremos tener los cambios del repositorio de Duckietown-Chile, tenemos que hacer:

$ git pull duckietown master
$ git push origin master

Con estos comandos tendremos al día nuestros repositorios tanto con nuestros códigos como los códigos de Duckietown-Chile  

Workstation:

Para el Workstation tenemos tres casos:

1. No hay repositorio
2. Hay uno clonado desde el fork que hicieron.
3. Hay uno clonado desde Duckietown-Chile

Caso 1

Tenemos que clonar el repositorio que tenemos en nuestras cuentas de github:

$ git clone <url de su repositorio>
Ahora vayan al paso 2.

Caso 2

Al igual que con el duckiebot, vamos a conectar nuestro repositorio local con los dos repositorios remotos: el de Duckietown-Chile y el fork. Debido a que hicieron el clone de sus fork, este repositorio local ya esta conectado con el repositorio remoto de sus fork. Ahora solo nos queda conectar el repositorio local con Duckietown-Chile:

$ git remote add duckietown <url de Duckietown-Chile/Software>

Para comprobar que todo está bien hacemos:

$ git remote –v 
duckietown      https://github.com/Duckietown-Chile/Software.git (fetch)
duckietown      https://github.com/Duckietown-Chile/Software.git (push)
origin  https://github.com/<your_user>/Software.git (fetch)
origin  https://github.com/<your_user>/Software.git (push)

Caso 3

Este estado es el mismo que el de los duckiebot, para ello basta seguir esas instrucciones.

Final

Ahora, al igual que el duckiebot, queremos mantener nuestros repositorios al día con nuestro código y los códigos de Duckietown-Chile. Para ello, cada vez que queremos hacer un push de nuestro código tenemos que hacer:

$ git push origin master

Luego, si queremos bajar los cambios del repositorio de Duckietown-Chile, tenemos que hacer:

$ git pull duckietown master
$ git push origin master