diff options
| author | Felipe Contreras <felipe.contreras@gmail.com> | 2013-05-24 21:30:04 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-05-28 08:02:25 -0700 |
| commit | c9eaef125bbecd60a8b328d58e66306d5db1357a (patch) | |
| tree | c6444803cf4188a4f6502c7192b3299ad8e2f186 /git-gui | |
| parent | e3751a1763112b301f2269dd268190900d7ddd29 (diff) | |
| download | git-c9eaef125bbecd60a8b328d58e66306d5db1357a.tar.gz git-c9eaef125bbecd60a8b328d58e66306d5db1357a.tar.xz | |
remote-hg: add support for --force
And get rid of the remote-hg.force-push option hack.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions