Tosfot in Yevamot 83b seems to address the comment of Rabbi Yosef Ibn Migash on Baba Batra.
ול"ג דתניא כמו שגורס הרב אבן מאגש ואומר דתניא גבי בכור דלא היה לו לרבא להניח המשנה ולהביא הברייתא שאין להוכיח ממנה ואין להאריך
There are two orthographies in Tosfot, the first is "ר''א בן מאגש", in this case the rav is not Yosef Ben Migash but perhaps, Avraham or Eliezer, the second in Shas Oz Vehadar is "הרב אבן מיגש" and in this case he is probably the Ri Migash. An other difference is the name "מאגש" and not "מיגש", suggesting that the name is Magash and not Migash.
But I searched in BB 140b in the Chidushei Hari Migash and it matches, he has the Girsa Detanya, as Tosfot attributes to the Rav Migash.
If it is the case that Tosfot were aware of the Chidushei Hari Migash, it's surprising. I am almost sure that this is the first time that I see a citation of the Ri Migash in Tosfot. Additionally, it's surprising that Tosfot had the Ri Migash and almost don't cite the Rambam, who was more widely known and lived approximately 50 years afterwards.
I am interested to know if this Tosfot is examined by scholars, and if they say that it's the Ri Migash, and if the Rav Ibn Migash is quoted in other Tosfotim.