How to load an older version of a Github repository