Comment by skywhopper

If you’ve checked out the git repo, you can go back to any point in the history and build that revision.