search

eclipse-platform / .github

Common contribution content for eclipse-platform repositories
https://www.eclipse.org/eclipse/
5 stars 10 forks source link

Pin active repositories #133

Open laeubi opened 1 year ago

laeubi commented 1 year ago

I don't know if project leads can do it or we need an infra issue, but it would be good to pin all active repositories (e.g. those that are not already merged).

akurtakov commented 1 year ago

I don't see an option to pin repos. But if you plan to merge more repos in the short term I think it's best to pin once the dust settles.

mickaelistria commented 1 year ago

@fredg02 can you please advise?

fredg02 commented 1 year ago

Please open a HelpDesk issue and we can assist with the pinning.

mickaelistria commented 1 year ago

@laeubi would you mind opening the ticket to helpdesk?

vogella commented 7 months ago

Is this still necessary if we archive the non-active? https://github.com/eclipse-platform/.github/issues/104