From 24e754b979c7815578f74be99281c7dd44515ede Mon Sep 17 00:00:00 2001
From: Martin von Zweigbergk <martinvonz@google.com>
Date: Wed, 2 Aug 2023 19:23:20 -0700
Subject: [PATCH] cli: add short form `-c` for `jj git push --change`

I use `--change` a lot and somehow still didn't think to add a short
form until @ilyagr (?) mentioned it somewhere recently.
---
 src/commands/git.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/commands/git.rs b/src/commands/git.rs
index 8df1dd6d6..3d994369b 100644
--- a/src/commands/git.rs
+++ b/src/commands/git.rs
@@ -147,7 +147,7 @@ pub struct GitPushArgs {
     revisions: Vec<RevisionArg>,
     /// Push this commit by creating a branch based on its change ID (can be
     /// repeated)
-    #[arg(long)]
+    #[arg(long, short)]
     change: Vec<RevisionArg>,
     /// Only display what will change on the remote
     #[arg(long)]