Closed augusto-herrmann closed 2 years ago
As per usual in Github repositories, we should name the default branch main.
main
Done.
As per usual in Github repositories, we should name the default branch
main
.