mirror of
https://github.com/mnauw/git-remote-hg.git
synced 2025-11-15 15:35:49 +01:00
4d1d1a83254aa9c4fc226f90edc1189b15abc548
If we update the 'old' node, we might be updating the remote bookmark even when our 'new' node is not related at all to what the remote has, effectively forcing an update. Let's do that only when forced push is configured. Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Description
Languages
Python
54.9%
Shell
42.3%
Ruby
1.9%
Makefile
0.9%