https://stackoverflow.com/questions/3489173/how-to-clone-git-repository-with-specific-revision-changeset
# make a new blank repository in the current directory git init # add a remote git remote add origin url://to/source/repository # fetch a commit (or branch or tag) of interest # Note: the full history up to this commit will be retrieved unless # you limit it with '--depth=...' or '--shallow-since=...' git fetch origin# reset this repository's master branch to the commit of interest git reset --hard FETCH_HEAD