use git fetch and reset instead of pull, which can fail with changed history
Merge pull request #1 from INAETICS/ttl

use git fetch and reset instead of pull