#!/bin/sh -x
git archive --remote=git@git.sr.ht:~jpastuszek/mascot-contrib --prefix mascot-contrib-$1/ master | gzip -9 > mascot-contrib-$1.tar.gz