docs: update documentation regarding auto merge #4519
Merged
GitHub Advanced Security / SonarCloud
succeeded
Oct 25, 2023 in 1s