[i_v]

GitHub also supports a special <username>@users.noreply.github.com address if you wanted her to retain semi-anonymous authorship as a GitHub user.

[brlewis]

The repo is on gitlab, but I can always make up a noreply address.