Closed hardbyte closed 1 year ago
I've renamed in GitHub, this PR just updates the docs.
Users that already have the project checked out may have to run:
git branch -m master main git fetch origin git branch -u origin/main main git remote set-head origin -a
Merging #669 (76e93f6) into main (d606c9a) will not change coverage. The diff coverage is n/a.
n/a
I've renamed in GitHub, this PR just updates the docs.
Users that already have the project checked out may have to run: