Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Arch Linux
infrastructure
Merge requests
!337
Put man.archlinux.org into node_exporters group
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Jakub Klinkovský
requested to merge
lahwaacz/infrastructure:man-node-exporters
into
master
Mar 24, 2021
Overview
0
Commits
1
Pipelines
1
Changes
1
I think this is all that is missing to actually start monitoring man.archlinux.org.