about summary refs log tree commit diff
path: root/tvix
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-05-25T16·17+0200
committertazjin <tazjin@tvl.su>2022-05-26T08·41+0000
commit74c422d0a0ff9040ae68629c9657f77330ae8727 (patch)
tree8ef4197aca89dc956b66d35c9961548e8cf1b11d /tvix
parent6a17cf232d5a13b3ec96b0dd0320d8c6858c35a5 (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 'tvix')
0 files changed, 0 insertions, 0 deletions