Cursed Knowledge

Github urls cannot be assumed to be unique

1. a repo can be moved, and then a new repo can be created at the old location.
2. even without a redirect a repo can be deleted and a new one can be created in its place