Putting this issue here just to have a record (and immediately closing it as no further action is required).
At the request of @kariljordan this repo was changed from private (available only to The Carpentries Executive Council and Core Team) to public on 2020-05-29.
Putting this issue here just to have a record (and immediately closing it as no further action is required).
At the request of @kariljordan this repo was changed from private (available only to The Carpentries Executive Council and Core Team) to public on 2020-05-29.