merge_list: always list hotfixes

A hotfix exists to unbreak main, so it is the one PR a release engineer must be able to see before it is mergeable: while it waits for a review or for CI, the page that release engineers watch showed nothing at all.

Return early from we_dont_care() for a Hotfix labelled PR so it skips the approval and CI checks, and exempt it from the feature freeze milestone filter too. The gate icons already report what it is still missing, and merge_status() keeps an unapproved or failing hotfix out of the ready bucket, so nothing is merged on the strength of the label.

Draft and DNM still hide a hotfix: both say the author does not want it merged, which is a different question from whether it can be.

Signed-off-by: Benjamin Cabé benjamin@zephyrproject.org Assisted-by: Claude:opus-5

Zephyr merge list

This script produces a static HTML page with the list of PRs approved and ready for merge for the main Zephyr project repository. PRs labelled Hotfix are always listed, however unmergeable they are, since they unbreak the main branch. This is meant to be run periodically using GitHub actions and the output published using GitHub pages.

Running locally

First ensure that the required Python packages are installed:

pip3 install -U -r requirements.txt

Create a GitHub access token and set it in the GITHUB_TOKEN environment variable.

Make sure the output directory exists and run the script:

$ mkdir public
$ ./merge_list.py
x-ratelimit-limit: 5000
x-ratelimit-remaining: 4999
x-ratelimit-reset: 1711729218
x-ratelimit-used: 1
x-ratelimit-resource: core
ignored milestones: []
Latest tag: v3.6.0, freeze mode: False
fetch: 70900
fetch: 70883
...
$ ls public/
index.html

Resource usage

The script normally issues 3 RPC per PR (more if the mergeability status is stale): one for fetching the pull request, one for the reviews and one for the events. This can limit how often the script can be run before hitting the GitHub ratelimit. To help identifying potential issues the current rpc quota is logged at the start and end of the script.