Management
Hoodgail opened this issue · comments
Make a separate dev branch from master for contributions, and pull dev to master when publishing new versions.
Makes sense, especially as GitHub Actions does not seem to respond to externals PR anymore. I've pushed a dev branch.