> Thus, the suggestion is to shut the service down completely.
+1
> replace the host with a hard redirect to the root of the git repository site. It would *not* track the individual files or anything, just send the entire host to the git server.
Fair point. I think I was just thinking "never let a domain name go because someone will take it", but this is a hostname and not a domainname... So yeah, that does sound like a better solution.
