Skip to content

Promote develop to main: offline codegen drift check + --pull=always#265

Merged
ptr727 merged 3 commits into
mainfrom
develop
Jul 12, 2026
Merged

Promote develop to main: offline codegen drift check + --pull=always#265
ptr727 merged 3 commits into
mainfrom
develop

Conversation

@ptr727

@ptr727 ptr727 commented Jul 12, 2026

Copy link
Copy Markdown
Owner

Forward promotion of #264 (and prior conformance work). No release (human merge).

ptr727 added 3 commits July 10, 2026 21:24
…rconfig docker :latest) (#262)

Converges LanguageTags onto the fleet lint architecture: editorconfig-checker via docker :latest, VS Code Lint group, husky language-only with the if guard, cspell scoped to README+HISTORY, AGENTS.md lint guidance synced. Supersedes #256.
Fleet lint conventions: EditorConfig rename (step + VS Code task) and process-type VS Code Lint tasks. Canonical: ProjectTemplate #280.
Closes #259. Adds --skip-download offline regen, a codegen-drift CI job, AGENTS docs, and --pull=always on local Lint tasks.
Copilot AI review requested due to automatic review settings July 12, 2026 04:01
@codecov

codecov Bot commented Jul 12, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 87.43%. Comparing base (ebec6e9) to head (76e42b5).
⚠️ Report is 61 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #265   +/-   ##
=======================================
  Coverage   87.43%   87.43%           
=======================================
  Files          11       11           
  Lines        1973     1973           
  Branches      243      243           
=======================================
  Hits         1725     1725           
  Misses        166      166           
  Partials       82       82           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR promotes develop to main, bringing in an offline codegen drift guard (to catch emitter/source-data changes that aren’t regenerated in the same PR) and updates to local lint tooling and contributor workflow documentation.

Changes:

  • Add --skip-download / offline mode to LanguageTagsCreate to regenerate from committed LanguageData/ without fetching upstream registries.
  • Add a codegen-drift GitHub Actions job to regenerate + format + fail on any tree drift.
  • Add VS Code Docker-based lint tasks (with --pull=always) and adjust pre-commit behavior/documentation to match the intended local/CI split.

Reviewed changes

Copilot reviewed 7 out of 7 changed files in this pull request and generated 3 comments.

Show a summary per file
File Description
LanguageTagsCreate/Program.cs Branch between online download and offline “use committed data” mode.
LanguageTagsCreate/CreateTagData.cs Factor path resolution; add UseExistingData() validation for offline regen.
LanguageTagsCreate/CommandLine.cs Add --skip-download (-s) CLI option and plumb through to execution.
AGENTS.md Document offline regeneration workflow and clarify local lint tooling approach.
.vscode/tasks.json Add Docker-based “Lint:*” tasks and a “Lint: All” aggregator with --pull=always.
.husky/pre-commit Make pre-commit hook conditional on dotnet presence and update comments.

Comment on lines +84 to +85
- name: Check EditorConfig step
run: docker run --rm -v "$PWD":/check --workdir /check mstruebing/editorconfig-checker:latest
Comment thread .husky/pre-commit
Comment on lines +7 to +9
if command -v dotnet >/dev/null 2>&1; then
dotnet husky run
fi
Comment on lines +71 to +74
throw new FileNotFoundException(
$"Required data file does not exist: {dataFile}",
dataFile
);
@ptr727
ptr727 merged commit 628bc19 into main Jul 12, 2026
14 checks passed
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