Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Metrics for portal #58

Open
MLit94 opened this issue Mar 2, 2023 · 1 comment
Open

Metrics for portal #58

MLit94 opened this issue Mar 2, 2023 · 1 comment

Comments

@MLit94
Copy link

MLit94 commented Mar 2, 2023

At the moment the trawler deliveres no metrics for the portal submodule. It would be nice to have some metrics to get an overview about the healthiness of the portal.
@rickymoorhouse
Copy link
Member

Totally agree, I've had several conversations about this in the past but never got to implementing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@rickymoorhouse @MLit94