@pkrautz could just be on PR pages. They already do it elsewhere, e.g. usernames are linked inside commit messages github.com/numbas/Numbas/…