v1.1.0

• boo --json prints the state of each pull request for a script: the state, the checks, each reviewer with its score, the stack, the agent and the notes. The keys stay the same from one version to the next. (#40)
• boo --watch --events streams each change as one line of NDJSON: a state, a review, a check, a pull request that joins or leaves the list. (#42)
• A red check tells its cause: the check fails here only, it also fails on the base branch, or its run was cancelled. (#41)
• A red pull request that no session works on, with no commit for 30 minutes, is stalled (zZ on its row). The setting stalledAfterMinutes changes the time. (#43)
• Two runs of boo share their reads of GitHub for 30 seconds, and only one of them posts a retry. With less than 20 % of the GraphQL points left, boo reads every 5 minutes. (#44)
• A merge policy (mergePolicy in the settings) adds rules before ready to merge: a minimum score, a proof in the description, resolved bot threads, files that only their owner merges. m refuses a pull request that misses a rule. (#45)
• The footer counts the pull requests that GitHub did not answer. (#47)