--- title: Git Repositories --- I try to host Git repositories myself, as far as possible. These pages are auto-generated from those repos: ```{.unwrap pipe="bash"} set -e set -o pipefail echo "Adding links to repos index.html" 1>&2 find . 1>&2 function genEntry { echo "