Después de hacer merge de tu Pull Request, tienes que actualizar tu copia local del repositorio.
- Vuelve a GitHub Desktop.
- Selecciona el branch
masteren la parte superior de la aplicación. - Haz clic en el botón que dice Fetch Origin para obtener un estado actualizado sobre el repositorio remoto.
- Ahora haz clic en Pull Origin para traer los cambios a tu repositorio local.
Dime por qué
Mantener tu repositorio local sincronizado
Como hemos comentado anteriormente, GitHub Desktop no necesita conexión a internet, lo que significa que no se comunica con repositorios remotos a no ser que se le indique expresamente que lo haga.
Cuando haces merge de tu Pull Request en GitHub.com, los cambios que hiciste localmente se combinan con el branch master en el repositorio remoto en GitHub.
Sin embargo, no verás estos cambios reflejados automáticamente en tu copia local del repositorio hasta que lo actualices desde origin.
Deberías obtener desde el origen (Fetch Origin) regularmente, y entonces hacer pull o push según sea necesario para asegurarte de que siempre estás trabajando con las copias más recientes de los archivos de tu repositorio.