FAQ: Github Integration How to Add and Update from Repositories [OBSOLETE]

I don’t think what you describe is true. ide redirects you to your shard