diff options
| author | John Keeping <john@keeping.me.uk> | 2014-07-22 19:24:58 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-07-22 13:30:30 -0700 |
| commit | aaf7253f84477d4be9b56072804e53c3098aaa90 (patch) | |
| tree | 5b4df274a45aa58de1cf26d4b146ccddd89f6536 /commit.c | |
| parent | completion: add some missing options to `git push` (diff) | |
| download | git-aaf7253f84477d4be9b56072804e53c3098aaa90.tar.gz git-aaf7253f84477d4be9b56072804e53c3098aaa90.zip | |
completion: complete `git push --force-with-lease=`
Signed-off-by: John Keeping <john@keeping.me.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions