llvm-project
[GitHub][workflows] Ask reviewers to merge PRs when author cannot
#81142

Merged

[GitHub][workflows] Ask reviewers to merge PRs when author cannot #81142

DavidSpickett merged 5 commits into llvm:main from DavidSpickett:no-push-approved

DavidSpickett requested a review from

tstellar 1 year ago

llvmbot added github:workflow

DavidSpickett requested a review from

boomanaiden154 1 year ago

DavidSpickett requested a review from

mstorsjo 1 year ago

tstellar commented on 2024-02-08

boomanaiden154 commented on 2024-02-08

DavidSpickett force pushed from 63019af8 to 171a4a22 1 year ago

[GitHub][workflows] Ask reviewers to merge PRs when author can not

ede1f5f2

tstellar commented on 2024-02-09

_ -> -

f7fb148a

DavidSpickett force pushed from 171a4a22 to f7fb148a 1 year ago

tstellar commented on 2024-02-12

Address reviewer instead.

582aac77

We need reviewer and author names.

1e566a4e

DavidSpickett changed the title ~~[GitHub][workflows] Ask reviewers to merge PRs when author can not~~ [GitHub][workflows] Ask reviewers to merge PRs when author cannot 1 year ago

tstellar commented on 2024-02-12

tstellar approved these changes on 2024-02-12

boomanaiden154 approved these changes on 2024-02-13

Modify message if reviewer also does not have merge permission.

5b135d3d

tstellar approved these changes on 2024-02-13

DavidSpickett merged 38c706e3 into main 1 year ago

DavidSpickett deleted the no-push-approved branch 1 year ago

Reviewers

tstellar

boomanaiden154

mstorsjo

Assignees

No one assigned

Labels

github:workflow

Milestone

No milestone

llvm-project [GitHub][workflows] Ask reviewers to merge PRs when author cannot #81142 Merged

[GitHub][workflows] Ask reviewers to merge PRs when author cannot #81142

llvm-project
[GitHub][workflows] Ask reviewers to merge PRs when author cannot
#81142

Merged