It looks like the email address for the build user has been made private. We should be able to use the `@users.noreply.github.com` address instead.