[codys]

One can also get the commit from github itself.

Also, see https://news.ycombinator.com/item?id=29932282 for a newer hash.

    # clone the old repo noDRM/DeDRM_tools forked from
    git clone https://github.com/apprenticeharper/DeDRM_tools
    cd DeDRM_tools

    # fetch the commit hash archive.org tells us about:
    git fetch origin 8c819c71376ab76445dd79d5cf2b28b6c0c2819e
    git checkout -b noDRM FETCH_HEAD