Andreas Wachter f61574bf9c improved prometheus metrics (#134) ... * improved prometheus metrics * change RepoTime to gauge * fix gitea, only set metrics if ran		2023-02-10 06:07:11 +01:00
..
prometheus.go	improved prometheus metrics (#134)	2023-02-10 06:07:11 +01:00