Skip to content

Better monitoring of tool activity

Maybe we can automate this for the tools that are on github or gitlab?