I am working on several private repos; they do not appear in the pinned repos list, even when added manually