> That said, we've been discussing how we might want to keep them in a separate "random exploratory shit just in case it's relevant again someday" repo.

You definitely should. If they're useful, not just to you but also to others, then you want them backed up and accessible. Just remove those credentials.