Skip to content

update metrics of tool db in git repo

The tool database is now in gitlab and we have moved away from nocodb. Therefore we need a new method to update the metrics of the tools in the database. I plan to use gitlab CI for this.