dist: add grafana dashboard

fixes #116
2025-08-09 07:05:47 +02:00 · 2019-03-16 15:48:37 +01:00
parent b0898ec8bc
commit 056be1185d
3 changed files with 606 additions and 4 deletions
--- a/docs/sphinxconf/conf.py
+++ b/docs/sphinxconf/conf.py
@ -173,6 +173,7 @@ texinfo_documents = [
 # http://www.sphinx-doc.org/en/stable/ext/extlinks.html
 extlinks = {
    'issue':('https://github.com/zrepl/zrepl/issues/%s', 'issue #'),
+    'repomasterlink':('https://github.com/zrepl/zrepl/blob/master/%s', ''),
    'sampleconf':('https://github.com/zrepl/zrepl/blob/master/config/samples%s', 'config/samples'),
    'commit':('https://github.com/zrepl/zrepl/commit/%s', 'commit '),
        }