#dev 2023-04-17

2023-04-17 UTC

bkil I think I may consider applying your idea of redirecting /github to github.com/$user/... I always had mixed feelings about hosting the ground truth of one's sources on a small domain, but this workaround sounds good enough.