git-mit: unbreak after github pr moved (#403858)
authored by Wolfgang Walther and committed by GitHub 9 months ago cba47ec8 d8ac94c6