5175c2a8

Fix application of GitHub settings

The GitHub Settings app doesn’t support configuring Pages, and trying to do so
causes it to silently not apply any settings at all. Consequently, this repo’s
settings were out of date.

Agent Instructions

Each run corresponds to one flake attribute. Click a run for its logs and status.

Example: https://nix-ci.com/gh:sellout:project-manager/fix-github-settings/5175c2a8c6d350c3b1f3b23686625b63d5b27133/9e4f8f69-0108-4dc3-9308-f9ee7314def5

Wait for suite to complete:

curl --netrc -N https://nix-ci.com/gh:sellout:project-manager/fix-github-settings/5175c2a8c6d350c3b1f3b23686625b63d5b27133/wait

This page is also available in machine-friendly formats. Request one with the Accept header:

• curl --netrc -H 'Accept: application/json' https://nix-ci.com/gh:sellout:project-manager/fix-github-settings/5175c2a8c6d350c3b1f3b23686625b63d5b27133
• curl --netrc -H 'Accept: text/markdown' https://nix-ci.com/gh:sellout:project-manager/fix-github-settings/5175c2a8c6d350c3b1f3b23686625b63d5b27133

For more instructions, fetch https://nix-ci.com/instructions .