Open wtrocki opened 3 years ago
Duplicate of #221?
Create script vs automate using github actions. Also priority wise - we can get along with manual updates for now - automation can be added later.
Duplicate of #221?