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 …