Skip to content

gitserver: metric for removing repo due to disk space

Administrator requested to merge k/gitserver-prom into master

Created by: keegancsmith

See individual commits. This adds a prometheus metric so we can track if we remove repositories due to disk pressure.

Merge request reports