On 9/15/18 8:54 PM, Thomas De Schampheleire wrote:
# HG changeset patch
# User Thomas De Schampheleire
# Date 1537037123 -7200
# Sat Sep 15 20:45:23 2018 +0200
# Node ID 4a55032bdb764b5b93dd7d1d1a18c15bc10e273c
# Parent d63018164a308f1005c250a284279fe6f15cf8a3
model/scm: fix incorrect repo
# HG changeset patch
# User Thomas De Schampheleire
# Date 1537037123 -7200
# Sat Sep 15 20:45:23 2018 +0200
# Node ID 4a55032bdb764b5b93dd7d1d1a18c15bc10e273c
# Parent d63018164a308f1005c250a284279fe6f15cf8a3
model/scm: fix incorrect reporting of pull from remote git repo
In issue #327 it