Note that Homebrew/linuxbrew-core CI won't go green for merge commits

This commit is contained in:
Issy Long 2019-09-15 12:44:52 +01:00
parent 06d86d041f
commit 7c295602cc
No known key found for this signature in database
GPG Key ID: 8247C390DADC67D4

View File

@ -198,8 +198,13 @@ Conflicts:
The `merge-homebrew` command will create a pull-request for you, using `hub`. The `merge-homebrew` command will create a pull-request for you, using `hub`.
Once the PR successfully passes the tests and/or is approved by other It is expected that CI checks on the merge commit of the PR will fail.
Homebrew developers, you can finalize the merge with: This is due to a bug with Azure Pipelines and its handling of merge
commits. Master branch builds also fail for the same reason. This is
OK.
Once the PR is approved by other Homebrew developers, you can finalize
the merge with:
```bash ```bash
brew pull --clean <PR-NUMBER> brew pull --clean <PR-NUMBER>