Added alias for git workspace push