Michael Muré (MichaelMure) opened
We noticed that a full import of this repo's issue using the github importer import 102 while there is actually 103. Something's wrong somewhere.
Michael Muré (MichaelMure) opened
We noticed that a full import of this repo's issue using the github importer import 102 while there is actually 103. Something's wrong somewhere.
Amine (a-hilaly) commented
I tried to investigate this one, apparently #5 is the one missing. Debugging the iterator didn't show any unexpected behaviours and Github api is returning all the issues 🤔
Michael Muré (MichaelMure) closed the bug