diff options
author | Vincent Ambo <mail@tazj.in> | 2020-06-19T00·27+0100 |
---|---|---|
committer | Vincent Ambo <mail@tazj.in> | 2020-06-19T00·35+0100 |
commit | a37b4fbef301b5ad82e9f6939c4e736514ac2fb8 (patch) | |
tree | 0cdc51c332220dee0d3e54bcb012365ceee1d5fe /users/glittershark/xanthous/src/Xanthous/Messages/Template.hs | |
parent | 94ead741ecbd4af66d7fcb3de01c068f6ab45b67 (diff) |
feat(besadii): Add Sourcegraph index update triggers r/1027
Sourcegraph has a heuristic for determining when to update the repository that doesn't work for the TVL repository, where commits are often in irregular short bursts. This changes besadii to trigger Sourcegraph index updates when invoked by Gerrit. Change-Id: Ifcfc25406d9e25bbdc93e79c23608ce4c6b10ba8
Diffstat (limited to 'users/glittershark/xanthous/src/Xanthous/Messages/Template.hs')
0 files changed, 0 insertions, 0 deletions