so now she can't marry a cohen. why was a get necessary?
She was already previously divorced.
Also, lots of sources that there are no גרים from ישמעאל.
כעין דבריו מצינו גם בס' המאמרים לבעל התניא (תקס"ב, עמ' תקה), "לא מצינו גרים מבני ישמעאל אלא דרך מקרה פעם אחת בשמיטה". וכ"כ החיד"א בס' חומת אנך (ריש פ' תולדות) בשם גורי האריז"ל, ובמדבר קדמות (מערכת ג אות ט) דגרים באים מאדום ולא מישמעאל [ומשום שעשו היה במעי רבקה הצדקת, ואילו ישמעאל היה במעי הגר], וכ"כ בס' החרדים (פ' תולדות). וע"ע יפה ללב (ח"ה סי' רסח אות ה), ס' אבות הראש (ח"ג מערכת ג אות יח).