Skip to content
This repository was archived by the owner on Aug 29, 2023. It is now read-only.

Conversation

@marten-seemann
Copy link
Contributor

No description provided.

@Stebalien
Copy link
Member

FYI, I now have a script in #30 that you can use to just scrape the entire repo list when we finally pull that trigger.

@marten-seemann
Copy link
Contributor Author

FYI, I now have a script in #30 that you can use to just scrape the entire repo list when we finally pull that trigger.

Nice! We could write a cron workflow that automatically adds newly created repos (at some point in the future).

@marten-seemann marten-seemann merged commit e7b9d85 into master Mar 27, 2021
@marten-seemann marten-seemann deleted the add-more-repos branch March 27, 2021 11:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants