Remove maint git alias

The tidy script obsoletes this.