Removing some unused aliases, and moving hpush to a git alias