Commit Graph

4 Commits

Author SHA1 Message Date
Ian Lewis e6a9780f3c Fix TODO comments.
Fix TODO comments referring to incorrect issue numbers. Also fix the link in
issue reviver comments to include the right url fragment.

PiperOrigin-RevId: 373491821
2021-05-12 18:09:03 -07:00
Ian Lewis 1699d702cb Fix issue reviver
Fixes invocation of the Github issue reviver by including the required 'path'
command line option. Also updates the issue reviver to add a 'revived' label to
revived issues. Issues with a 'revived' label will no longer be marked as
stale.

PiperOrigin-RevId: 373046772
2021-05-10 17:29:07 -07:00
Dean Deng 54d2d927ac Direct gvisor.dev/issues to the same place as gvisor.dev/issue.
Also let the Github bug reviver detect both in TODOs.

PiperOrigin-RevId: 338785089
2020-10-23 19:29:26 -07:00
Adin Scannell 994c90e2d2 Add nogo check annotations to GitHub.
When nogo checks are violated, they will automatically posted
as annotations on the specific GitHub commit. This allows us
to ensure analysis & style rules and have them called out.

PiperOrigin-RevId: 334447285
2020-09-29 13:16:54 -07:00