diff options
| author | Ian Lewis <ianlewis@google.com> | 2021-05-10 17:27:08 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-05-10 17:29:07 -0700 |
| commit | 1699d702cbfcf6f34bd14327b644738f996feb3b (patch) | |
| tree | 287cc56e322faf3618b203038044a472925f26d7 /tools/github/reviver | |
| parent | 6c349c675c49f1059efbcadb6b04123ab2357ca2 (diff) | |
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
Diffstat (limited to 'tools/github/reviver')
| -rw-r--r-- | tools/github/reviver/github.go | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/github/reviver/github.go b/tools/github/reviver/github.go index c4b624f2a..d9773500e 100644 --- a/tools/github/reviver/github.go +++ b/tools/github/reviver/github.go @@ -110,6 +110,11 @@ func (b *GitHubBugger) Activate(todo *Todo) (bool, error) { return true, fmt.Errorf("failed to reactivate issue %d: %v", id, err) } + _, _, err = b.client.Issues.AddLabelsToIssue(ctx, b.owner, b.repo, id, []string{"revived"}) + if err != nil { + return true, fmt.Errorf("failed to set label on issue %d: %v", id, err) + } + cmt := &github.IssueComment{ Body: github.String(comment.String()), Reactions: &github.Reactions{Confused: github.Int(1)}, |