Push a una libreria
    Inviare in push le modifiche alla libreria remota al repository Git remoto.
- Dalla barra degli strumenti principale, selezionare. 
- Selezionare . .
Viene eseguito il backup della libreria sul repository Git remoto.
Fornire un feedback