diff options
author | Christopher Baines <mail@cbaines.net> | 2023-10-09 21:29:58 +0100 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2023-10-09 22:19:02 +0100 |
commit | 10bad53ad57e92dbc3c6207c251f0af1148e8ffc (patch) | |
tree | cf42c97b823461457da74db873f2a968c3060e19 /guix-data-service/web/view | |
parent | 9bb8f84741bdd82b638e3a7a84280687d889fc04 (diff) | |
download | data-service-10bad53ad57e92dbc3c6207c251f0af1148e8ffc.tar data-service-10bad53ad57e92dbc3c6207c251f0af1148e8ffc.tar.gz |
Support polling git repositories for new branches/revisions
This is mostly a workaround for the occasional problems with the guix-commits
mailing list, as it can break and then the data service doesn't learn about
new revisions until the problem is fixed.
I think it's still a generally good feature though, and allows deploying the
data service without it consuming emails to learn about new revisions, and is
a step towards integrating some kind of way of notifying the data service to
poll.
Diffstat (limited to 'guix-data-service/web/view')
-rw-r--r-- | guix-data-service/web/view/html.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix-data-service/web/view/html.scm b/guix-data-service/web/view/html.scm index db1cdc4..29eaf62 100644 --- a/guix-data-service/web/view/html.scm +++ b/guix-data-service/web/view/html.scm @@ -314,7 +314,7 @@ "Jobs")))) ,@(map (match-lambda - (((repository-id label url cgit-url-base) . branches-with-most-recent-commits) + (((repository-id label url cgit-url-base poll-interval) . branches-with-most-recent-commits) `(div (@ (class "row")) (div |