Note to batching mirroring all known pandoc versions

# in pandoc repository, obtain all versions of pandoc
git tag | sort --version-sort | head -n -2 > ~/Downloads/pandoc-version.txt
# in pandoc-portable repository, create all git tags
cat ~/Downloads/pandoc-version.txt | xargs -i -n1 -P1 bash -c 'git tag -a $0 -m "Travis auto mirror and repack from jgm/pandoc" && git push origin $0' {}