Skip to content

Enable beman-tidy --require-all (disable readme.implements until P3610)#63

Merged
neatudarius merged 2 commits into
bemanproject:mainfrom
neatudarius:enable-tidy-require-all
Jul 9, 2026
Merged

Enable beman-tidy --require-all (disable readme.implements until P3610)#63
neatudarius merged 2 commits into
bemanproject:mainfrom
neatudarius:enable-tidy-require-all

Conversation

@neatudarius

Copy link
Copy Markdown
Member

Issue: bemanproject/beman-tidy#260

Supersedes #60 with the approach agreed in the issue discussion.

Per @JeffGarland's feedback, this PR enables beman-tidy --require-all while keeping the local paper link in README and disabling only the readme.implements check until P3610 is published on WG21.

Changes

  • Add .beman-tidy.yaml with disabled_rules: [readme.implements] (local draft remains at ./papers/scope.org)
  • Keep README Implements line pointing to ./papers/scope.org (no broken wg21.link placeholder)
  • Add SPDX license headers for file.license_id compliance (8 config/infra files)
  • Bump beman-tidy to v0.4.1 and enable args: [".", "--verbose", "--require-all"] in pre-commit

Test plan

  • pre-commit run beman-tidy --all-files passes
  • beman-tidy . --verbose --require-all passes (with readme.implements disabled)

Made with Cursor

Disable readme.implements until P3610 is published on WG21, keep the local
papers/scope.org link in README, add SPDX headers for file.license_id, and
bump beman-tidy to v0.4.1 for disabled_rules support.

Co-authored-by: Cursor <cursoragent@cursor.com>
Ignore infra/ in .beman-tidy.yaml instead of patching vendored infra files,
which broke the beman-submodule consistency check in CI.
@neatudarius neatudarius merged commit 67a052c into bemanproject:main Jul 9, 2026
9 checks passed
@coveralls

coveralls commented Jul 9, 2026

Copy link
Copy Markdown

Coverage Status

coverage: 100.0%. remained the same — neatudarius:enable-tidy-require-all into bemanproject:main

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.

2 participants