about summary refs log tree commit diff
path: root/tvix/.gitignore
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2022-08-12T11·02+0300
committerclbot <clbot@tvl.fyi>2022-08-13T00·31+0000
commitfab5d23f143095fffcdcf7516e42594ce5c5e041 (patch)
treea25e239cffe2fde5e8dc4706daf1948d6a99c5a2 /tvix/.gitignore
parent31443d21eed5986d8b2968951e3e38283008b892 (diff)
feat(tvl.el): add magit-gerrit-push-private r/4420
This adds a new function (intentionally bound to a rare key (Q)) in
the push menu which can push a *private* change to Gerrit.

A private change is one that, until submitted, is only visible to its
owner and all explicitly added people (reviewers, CC).

Change-Id: I6ee13dbbad099584475d3efac96e5d9b86efbc26
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6061
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions