Wrong repo name

#6
by jrapin - opened

Hello,
Not a big issue, but there may be an underlying bug somewhere:
looking at the included repos, I found my repo jrapin/subm which actually does not exist, this should be jrapin/submitit. Similarly, facebookincubator/subm (the parent repo) does not exist and should be facebookincubator/submitit. This name is wrong both in the in-the-stack tool and in the actual dataset (some other forks have the right name though). I haven't found similar naming issues in other repos so far, then again I have not checked many of them.
Thanks for the dataset in any case!

BigCode org

Interesting, thanks for reporting!

Sign up or log in to comment