Skip to content

Commit 6efd2d3

Browse files
CI: Do NOT close Gerrit PRs by default
Change-Id: Ied0103ce05226fbb0efdd5ad9cdd47c9281af3b0 Signed-off-by: Matthew Watkins <mwatkins@linuxfoundation.org>
1 parent d7b8f58 commit 6efd2d3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/github2gerrit.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ on:
2525
preserve_github_prs:
2626
description: "Do NOT close GitHub PRs after pushing to Gerrit"
2727
required: false
28-
default: false
28+
default: true
2929
type: boolean
3030
allow_duplicates:
3131
description: "Allow duplicate changes to be raised in Gerrit"

0 commit comments

Comments
 (0)