update mr.developer to solve some problems with recent git versions