![]() This allows org-hosted projects to start enabling merge queues in the repository settings. With that, GitHub would trigger a separate event against a merge commit derived from merging several pull requests with the target branch. Co-authored-by: Hynek Schlawack <hs@ox.cx> |
||
---|---|---|
.. | ||
build-docset.yml | ||
ci.yml | ||
codeql-analysis.yml | ||
pypi-package.yml |