As I noted just a moment ago in another thread on this list,
head.hackage's upstream repository will be moving to GitLab. I'll but
publishing a blog post soon describing some of the infrastructure we
have built around head.hackage.
Otherwise, if you want to submit a patch to head.hackage please open a
merge request against the GitLab repository .