fix: fail malformed GitHub numeric config structurally #290

Open
nsaspy wants to merge 0 commits from rage/385-github-numeric-config into main
Owner

Closes #385.

RAGE RED→GREEN transaction on exact current canonical main:

  • malformed timeout/result/response numeric descriptors fail through GitHubConfigError rather than incidental Python conversion exceptions;
  • boolean rejection remains explicit;
  • valid numeric-string configuration remains supported;
  • existing numeric bounds and provider/network behavior are unchanged.

Merge only after exact-head source/install compatibility, registry/plugin tests, and all generated Nix package builds are green.

Closes #385. RAGE RED→GREEN transaction on exact current canonical main: - malformed timeout/result/response numeric descriptors fail through `GitHubConfigError` rather than incidental Python conversion exceptions; - boolean rejection remains explicit; - valid numeric-string configuration remains supported; - existing numeric bounds and provider/network behavior are unchanged. Merge only after exact-head source/install compatibility, registry/plugin tests, and all generated Nix package builds are green.
Some checks failed
CI / test (pull_request) Failing after 42s
This branch is already included in the target branch. There is nothing to merge.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin rage/385-github-numeric-config:rage/385-github-numeric-config
git switch rage/385-github-numeric-config

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff rage/385-github-numeric-config
git switch rage/385-github-numeric-config
git rebase main
git switch main
git merge --ff-only rage/385-github-numeric-config
git switch rage/385-github-numeric-config
git rebase main
git switch main
git merge --no-ff rage/385-github-numeric-config
git switch main
git merge --squash rage/385-github-numeric-config
git switch main
git merge --ff-only rage/385-github-numeric-config
git switch main
git merge rage/385-github-numeric-config
git push origin main
Sign in to join this conversation.
No description provided.