Automated patch emails for Rust front-end commits

[Sam James]

Arthur Cohen <arthur.cohen@embecosm.com> writes:

> Hi everyone,
>
> [...]
>

Thanks for doing this, btw.

> If anyone has anything else they'd like to see us do, please let me
> know! We are happy to work on anything that will increase the
> communication and/or interaction between the Rust side and the GCC
> side of our little front-end.

Would it be possible to include an explicit link to the PR too in the
email?

It's attached to the commit via some GH magic but it's not a link in the
commit itself, and I'm also not sure how reliable that github detection
is in the longrun.

Thank you!

sam