Closed duncanmmacleod closed 1 month ago
As per the current industry best practice, the default branch for this project should probably be renamed to main.
main
Migrated to https://git.ligo.org/detchar/tools/gwtrigfind/-/issues/39
As per the current industry best practice, the default branch for this project should probably be renamed to
main
.