about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2020-06-19T00·27+0100
committerVincent Ambo <mail@tazj.in>2020-06-19T00·35+0100
commita37b4fbef301b5ad82e9f6939c4e736514ac2fb8 (patch)
tree0cdc51c332220dee0d3e54bcb012365ceee1d5fe /.gitignore
parent94ead741ecbd4af66d7fcb3de01c068f6ab45b67 (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions