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

..

reviver

Fix issue reviver

2021-05-10 17:29:07 -07:00

BUILD

[op] Remove Build job from GitHub actions.

2021-04-23 12:33:48 -07:00

main.go

[op] Remove Build job from GitHub actions.

2021-04-23 12:33:48 -07:00