Skip to content

Add Renovate config and fix package.yaml schema misdetection - #9

Merged
waveFrontSet merged 1 commit into
mainfrom
renovate-and-schema-fix
Jul 19, 2026
Merged

Add Renovate config and fix package.yaml schema misdetection#9
waveFrontSet merged 1 commit into
mainfrom
renovate-and-schema-fix

Conversation

@waveFrontSet

Copy link
Copy Markdown
Owner

Summary

  • Add renovate.json for the Mend Renovate GitHub App: GitHub Actions updates via config:recommended, pre-commit manager enabled for any future remote hooks, haskell-cabal manager disabled since cert-prep.cabal is generated by hpack (and deps are unbounded anyway)
  • Add # yaml-language-server: $schema=none modeline to package.yaml — the SchemaStore catalog maps the filename package.yaml to the npm package.json schema, so schema-aware editors flagged hpack's dependencies list as invalid
  • Un-ignore renovate.json in .gitignore (*.json is ignored for question banks)

Verification

  • renovate-config-validator renovate.json passes
  • hpack reports cert-prep.cabal up-to-date (modeline comment doesn't affect the content hash)

Follow-up (manual)

Install the Mend Renovate app at https://github.com/apps/renovate and grant it access to this repo. With the config already committed, Renovate skips onboarding and opens a Dependency Dashboard issue.

🤖 Generated with Claude Code

Set up the Mend Renovate app via renovate.json: github-actions updates
via config:recommended, pre-commit manager enabled for future remote
hooks, haskell-cabal manager disabled since cert-prep.cabal is generated
by hpack.

Add a yaml-language-server modeline to package.yaml because the
SchemaStore catalog maps that filename to the npm package.json schema,
producing bogus lint errors in schema-aware editors.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@waveFrontSet
waveFrontSet merged commit 111cff0 into main Jul 19, 2026
2 checks passed
@waveFrontSet
waveFrontSet deleted the renovate-and-schema-fix branch July 19, 2026 11:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant