Skip to content

Commit 7ace503

Browse files
authored
Remove merge queue (#4124)
The merge queue was introduced when there were around 10 developers working simultaneously in this repository. However, with the fewer number of developers, the value of the queue has diminished. In some cases, the wait time in the queue can delay the release of urgent fixes. Note that we can re-enable the merge queue in the future if needed. ---- _By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice._
1 parent 855a457 commit 7ace503

File tree

1 file changed

+0
-103
lines changed

1 file changed

+0
-103
lines changed

.github/workflows/ci-merge-queue.yml

Lines changed: 0 additions & 103 deletions
This file was deleted.

0 commit comments

Comments
 (0)