Playing the ball back: I was trying to export all git.io links through your sourcegraph code search, but the CSV export doesn't work for those purposes (it time

Playing the ball back: I was trying to export all git.io links through your sourcegraph code search, but the CSV export doesn't work for those purposes (it times out). Is there a chance you can publish this dataset now such that crawling git.io is easier? EDIT: https://twitter.com/untitaker/status/1519034010978160641 https://twitter.com/untitaker/status/1519034010978160641