it is not super-high priority, but I do not know if anyone other than me can do it. <a href="http://bugzilla.wikimedia.org/35462:">http://bugzilla.wikimedia.org/35462:</a> Tell git on gerrit.wikimedia.org not to generate spurious terminal sequences Antoine said that Marcin could work on this.