Are they going to be opening a merge request to get their custom git command back in git proper then?