On perd certaines PR
ex https://git.spip.net/spip-contrib-extensions/abonnements/pulls/37 et https://git.spip.net/spip-contrib-extensions/abonnements/pulls/41
les 2 sont basées sur des branches supprimées, vers une branche supprimée
Le problème est que gitea a perdu les sha de vers quoi on veut merger, et ne les fournit pas dans l'api utilisée pour l'import https://git.spip.net/api/v1/repos/spip-contrib-extensions/abonnements/pulls/37
https://git.spip.net/api/v1/repos/spip-contrib-extensions/abonnements/pulls/41
Dans les 2 cas il fournit bien le sha de la branche dont on veut tirer les commits. Techniquement on peut retrouver le sha de base en faisant branche source - liste des commits à merger (ou en tout cas on peut utiliser ce sha pour reconstruire la PR)
Mais c'est très flou où réinjecter ça dans gitea. Peut-être il faudrait juste faire un checkout -b sur le sha et recréer une branche avec le bon nom avant import ?