bash_aliases: workaround for git push

* Git push is now defined also as a bash alias, as completion works better.

Signed-off-by: Adrian-Tudor Panescu <adrian.tudor.panescu@cern.ch>