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.

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

[stayrtr] add a metric for current serial number #113

Merged
merged 1 commit into from
Feb 22, 2024

Conversation

netixx
Copy link
Contributor

@netixx netixx commented Feb 22, 2024

No description provided.

@benjojo benjojo self-requested a review February 22, 2024 17:01
@ties ties merged commit b773a90 into bgp:master Feb 22, 2024
3 checks passed
@ties
Copy link
Collaborator

ties commented Feb 22, 2024

And I double checked: rtrmon has this metric.

@lukastribus
Copy link

Shameless plug: can we get serial back in the json output too please? #102

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants