diff options
author | Vincent Ambo <mail@tazj.in> | 2022-05-25T16·17+0200 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-05-26T08·41+0000 |
commit | 74c422d0a0ff9040ae68629c9657f77330ae8727 (patch) | |
tree | 8ef4197aca89dc956b66d35c9961548e8cf1b11d /third_party/cgit | |
parent | 6a17cf232d5a13b3ec96b0dd0320d8c6858c35a5 (diff) |
feat(tools/releases): Add release helper for mirroring to Github r/4120
This adds an extra step definition which can push the result of running a josh filter on the repository to Github. Change-Id: I1f93ae78e1bf452fbd1b21ce943a60acc85c944f Reviewed-on: https://cl.tvl.fyi/c/depot/+/5666 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'third_party/cgit')
0 files changed, 0 insertions, 0 deletions