fixed github push alias