Ability to pin repositories at https://github.com/eclipse-platform/
We are looking at https://github.com/adoptium/ and want to be able to pin repositories in order to make it possible to guide potential contributors how/where to act. Could the option be enabled for Project Leads?