On 18-05-12 18:29, Hans-Christoph Steiner wrote: > - automated builders might have already pulled the changes, and will not be able to pull again without human intervention > those build systems are broken a sane build system does: git fetch origin git clean -fdx git reset --hard origin/branch -- Ferry Huberts