summaryrefslogtreecommitdiffhomepage
path: root/tools/workspace_status.sh
diff options
context:
space:
mode:
authorDean Deng <deandeng@google.com>2020-10-23 19:24:51 -0700
committergVisor bot <gvisor-bot@google.com>2020-10-23 19:29:26 -0700
commit54d2d927ac9c3ee290d44405a3028307459a49fb (patch)
tree92afc751be4d823411436057092644ef5ed77349 /tools/workspace_status.sh
parent8dfbec28a47483e0c03a5c94331081d7219f215b (diff)
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
Diffstat (limited to 'tools/workspace_status.sh')
0 files changed, 0 insertions, 0 deletions