[Fix] Checkout and pull to retrieve progression. In theory, merge conflict should never happened -> Closes #194
Merge pull request #195 from Cedric-Huguenin/master

[Fix] Checkout and pull to retrieve progression. In theory, merge conflict should never happened