Wasmtime GitHub notifications bot (Apr 06 2023 at 17:08): Wasmtime GitHub notifications bot (Apr 06 2023 at 17:08):bjorn3 commented on issue #6170:
It needs to be added to the merge queue, right?
Wasmtime GitHub notifications bot (Apr 06 2023 at 17:25):cfallin commented on issue #6170:
I enabled auto-merge when I approved it; that puts it on the merge queue automatically once the initial tests pass. (You should be able to see the "enabled auto-merge" event in the PR timeline.)
Wasmtime GitHub notifications bot (Apr 06 2023 at 17:31):bjorn3 commented on issue #6170:
I see. I thought enabling auto-merge and adding to the merge queue were to separate steps. Github attributed the "added this pull request to the merge queue" event to you, so I thought you manually did this.
Last updated: Nov 22 2024 at 16:03 UTC