Skip to content

repos_with_ids.txt is out of date #680

New issue
New issue
Closed
#681
Closed
repos_with_ids.txt is out of date#680
#681
Labels
bug

Description

@dreispt
dreispt
opened on Aug 19, 2026

I can see that new repos were created and the list has not been updated for a couple of years now.
My concern is if there are scripts relying on it to run automated actions on all repos, they will miss the newer repos.

@etobella @sbidoul Is this a real concern?

Activity

  1. dreispt
    added
    bug
    on Aug 19, 2026

  2. sbidoul commented on Aug 19, 2026

    @sbidoul
    sbidoul
    on Aug 19, 2026
    Member

    To my knowledge this is not used anymore. We can remove this.

  3. dreispt commented on Aug 19, 2026

    @dreispt
    dreispt
    on Aug 19, 2026
    SponsorMemberAuthor

    Fixed with #681

  4. sbidoul
    closed this as completedin #681on Aug 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bug

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions