Wip: Prevent misuse of the Merge button
The Merge button will merge on the git side, but not on the mercurial side. Disabling the button prevents this misuse. Making the button merge on the mercurial side is a second step.
Edited by Georges Racinet