Closed Finii closed 6 months ago
The repo uses "master" locally as default head. I believe we want to use "main".
Also fix 2 small other things en passant.
Tnx for the quick review :-)
The repo uses "master" locally as default head. I believe we want to use "main".
Also fix 2 small other things en passant.