Update Git aliases

Signed-off-by: Gaetan Semet <gaetan@xeberon.net>
new repo aliases

Signed-off-by: Gaetan Semet <gaetan@xeberon.net>
source ~/.profile for upgrading (to source the proxy configuration)

Signed-off-by: Gaetan Semet <gaetan@xeberon.net>