Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
When the bot is waiting for "merge when pipeline suceeds" the hardcoded 5 minute timeout was applied. We need to wait for CI to finish in this case, so setting the merge timeout to CI timeout.
- Loading branch information