Skip to content

User-added repos do not stay indexed on Sourcegraph.com

Created by: rvantonder

I added a user repo on Sourcegraph.com, and it gets indexed:

Screen Shot 2020-11-16 at 2 38 29 PM

Shortly after (like 1 minute), it gets unindexed/the index disappears:

Screen Shot 2020-11-16 at 2 38 39 PM

If I go to my repos and add it again, and update, it indexes again and then disappears again. I don't know if this is the case for all repos (some of the others I added stay indexed).