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 /.gitignore | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions