Skip to content

Merge script closing PRs instead of merging them randomly #16635

jakubgs started this conversation in General
Discussion options

You must be logged in to vote

Replies: 10 comments

Comment options

jakubgs
May 18, 2022
Maintainer Author

You must be logged in to vote
0 replies
Comment options

jakubgs
May 18, 2022
Maintainer Author

You must be logged in to vote
0 replies
Comment options

jakubgs
May 18, 2022
Maintainer Author

You must be logged in to vote
0 replies
Comment options

jakubgs
May 18, 2022
Maintainer Author

You must be logged in to vote
0 replies
Comment options

jakubgs
May 19, 2022
Maintainer Author

You must be logged in to vote
0 replies
Comment options

jakubgs
May 24, 2022
Maintainer Author

You must be logged in to vote
0 replies
Comment options

jakubgs
May 24, 2022
Maintainer Author

You must be logged in to vote
0 replies
Comment options

jakubgs
Jun 29, 2022
Maintainer Author

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
3 participants
Converted from issue

This discussion was converted from issue #13372 on July 14, 2023 10:24.