* Try merging with the queue
* Provide github token
* Fix syntax
* Get GITHUB_TOKEN from vault
* Add the PR label
* Wait for the new PR to merge
* Fix working dir
* Inline the script
* Checkout master
* Install python for slack notifications
* Fix logging
* install rspec-tools
* Log actual PR-merge status
* Final adjustments
* Set check interval to 20 seconds
* Test failure
* Fix pr close command
* Revert "Test failure"
This reverts commit c3c2b845feaa047a62ef19fb34c805bf3ef7a23f.
* Update .github/workflows/update_coverage.yml
---------
Co-authored-by: Fred Tingaud <95592999+frederic-tingaud-sonarsource@users.noreply.github.com>
f18135cc24