Skip to content

Commit

Permalink
Merge pull request #433 from cfcurtis/patch-1
Browse files Browse the repository at this point in the history
Updating description of automerge-flathubbot-prs
  • Loading branch information
wjt authored Jun 24, 2024
2 parents 7a0b81e + 21d3c14 commit a01c775
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -138,10 +138,10 @@ The tool will also automatically merge previously opened pull request for
unavailable (`BROKEN`) sources if the change has successfully passed CI checks
and the token has sufficient privileges.

Automatically merging all submitted PRs, not just unavailable sources,
Under limited circumstances, automatically merging all submitted PRs, not just unavailable sources,
from the tool can be forcefully enabled by setting
`automerge-flathubbot-prs` to `true` in `flathub.json`,
or it can be completely disabled by setting `automerge-flathubbot-prs` to `false`.
or it can be completely disabled by setting `automerge-flathubbot-prs` to `false`. Use of this option without requesting an exception will cause the build to fail in the linting stage; see the [FlatHub docs](https://docs.flathub.org/blog/linter-restricting-automatic-merge/) for more info.

### Formatting manifests

Expand Down

0 comments on commit a01c775

Please sign in to comment.