Fix push origin alias