Sync metrics repositories from git.torproject.org to github.com/torproject
Hi,
The following repositories on github.com/torproject are empty:
- exonerator
- metrics-base
- metrics-lib
- metrics-web
- onionoo
I just added the push bot to their permissions. Do we need to set up the push hook on git.torproject.org?