Tag: Github
-
Risolvere falsi cambiamenti con Git
Tutti i bravi sviluppatori utilizzano nel loro quotidiano processo di gestione un software di versionamento del codice. Il sistema di versioning del codice che ormai va per la maggiore è git. Uno strumento di semplice utilizzo che promette ottimizzazioni importanti in termini di archiviazione delle modifiche sul repository server ed una moltitudine di servizi on-line,…
-
Come aggiornare un repository Github attraverso il proxy
Non utilizzando sempre lo stesso computer e la stessa connessione ad internet, mi capita talvolta di dover effettuare gli aggiornamenti del repository di ALPHA attraverso un proxy aziendale. Per riuscire però ad effettuare i commit attraverso il Proxy che non consente l’acceso ssh al server github.com ho fatto diverse ricerche su internet, provando le più…