Otro pull

Ahí te va otro pull.
Creo que es la única forma de hacerlo. No veo la forma de hacerlo desde la consola. A no ser que todos tengamos el mismo usuario y contraseña.