diff options
| author | Vincent Ambo <tazjin@google.com> | 2020-02-21T23·17+0000 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2020-02-21T23·17+0000 |
| commit | 892418db8f291efa184e2130533dfab3f2f91f40 (patch) | |
| tree | 52005bbd2226c75137f206c93ec16a65d864dfcc /tools | |
| parent | d657e878fa518cd0489ee6352261bf17185c3fe4 (diff) | |
| parent | 5ed68f0f6b192cffb1bd4d1790360583d08018bb (diff) | |
merge(feat/besadii): Integrate besadii at //ops/besadii r/569
This tool supersedes the previous //ops/sync-gcsr, which no longer exists. Besadii runs as a git post-receive hook and triggers builds for the depot on sourcehut. Builds are only triggered for branches, not for tags. The sourcehut token is read from /etc/secrets where it has been manually placed on camden. Besadii was a hutt kajidic, and also part of the Hutt Clan.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions