remove grgit #201
Labels
good first issue
Good for newcomers
help wanted
Extra attention is needed
Maintenance
General ongoing work to maintain the project
As pointed out in https://github.com/ajoberstar/grgit?tab=readme-ov-file#project-status we should remove grgit and just use git directly for our conformance suite clone/update
The text was updated successfully, but these errors were encountered: