Use secrets to allow PR commenting
djmitche opened this issue · comments
Dustin J. Mitchell commented
From the last link, this article describes a way to use secrets. It is a bit verbose and requires creation of a separate workflow but doable. I will try to implement it this week.
Oh nice! I think this could also be used to comment on Comprehensive Rust PRs with timing information like @djmitche tried to do recently: #1576.
Originally posted by @mgeisler in google/mdbook-i18n-helpers#148 (comment)
Dustin J. Mitchell commented
Notably, this didn't actually require secrets.