>>678
https://stackoverflow.com/questions/2751227/how-to-download-source-in-zip-format-from-github/2751270#2751270

今のGitHubはちょっとデザイン変わってるけど
Codeってボタンを押したら
Download ZIPのボタンが出るので
それを右クリック、リンクURLをコピー

masterのままにするとmasterブランチの最新版を取るって指定になる
URLにあるmaster.zipのmasterの部分は${version}に変えとけば
環境再構築してnix-shellしたときに違うバージョンになる心配がなくなる

fetchFromGitHub関数を使うように変えるとか、ローカルにダウンロードしたzipの場所をsrcに指定って手もあるけど
>>678のレベルじゃ難しいかと思った