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

Closes #194