Closed rany2 closed 1 year ago
What's the thinking underlying separating this out from setup.sh?
Seems easier to maintain.
Shall I still merge notwithstanding the workflow issue?
Sure
What's the thinking underlying separating this out from setup.sh?