diff options
| author | Ben Sima <ben@bsima.me> | 2021-04-20 17:22:32 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-11-26 13:47:34 -0500 |
| commit | 2b307499382691e3b4391b7accd9030cfadb0dd4 (patch) | |
| tree | 093e65358c687b38cf0e34554857bef73de8c511 /System/Random/Shuffle.hs | |
| parent | 6603960da6fd4bf2e65d844da116e0f507e541d3 (diff) | |
Publish and archive some git repos
Also adds a post-receive script that creates and publishes a git-archive of the
repo at that commit. This way I can depend on my own nixpkgs fork.
It took me forever but I finally figured out that I need --prefix in the git
archive. I also switched to using gzip instead of xz because its faster, and I
figured out how to get the sha256 that nix expects, so I can now just copy that
and paste it into Biz/Bild/Sources.json.
Diffstat (limited to 'System/Random/Shuffle.hs')
0 files changed, 0 insertions, 0 deletions