4 Commits
Author SHA1 Message Date
Ian LewisandgVisor bot 9fb0b481f4 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 LewisandgVisor bot 0e1cb5cd39 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 DengandgVisor bot 039fc0fa3d 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 ScannellandgVisor bot 18a81e4721 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