During our issue triage meeting on Feb 22, 2023, we realized our scheduled Update GitHub project workflow was disabled on Feb 7, 2023. The GitHub workflow docs state:
In a public repository, scheduled workflows are automatically disabled when no repository activity has occurred in 60 days.
Possible solution
To prevent this from happening without us noticing again, we could automate activity for this repo.
Create our own workflow that runs some activity as the Nextstrain bot. I'm not entirely sure what counts as "repository activity" but a couple options:
Push dummy commit to main
Push dummy commit to a long term "keep-alive" branch
Context
During our issue triage meeting on Feb 22, 2023, we realized our scheduled Update GitHub project workflow was disabled on Feb 7, 2023. The GitHub workflow docs state:
Possible solution
To prevent this from happening without us noticing again, we could automate activity for this repo.