Skip to content

Move Operations/ files to Infrastructure/#494

Merged
mensfeld merged 1 commit intomasterfrom
move-operations-to-infrastructure
Mar 21, 2026
Merged

Move Operations/ files to Infrastructure/#494
mensfeld merged 1 commit intomasterfrom
move-operations-to-infrastructure

Conversation

@mensfeld
Copy link
Member

Summary

  • Moves 6 files from Operations/ to Infrastructure/, emptying the Operations directory
  • Renames Development-vs-Production.md to Application-Development-vs-Production.md
  • Merges Operations nav section into Infrastructure in Home.md
  • Removes Operations namespace from bin/align_structure and bin/sync_gh
  • Updates .markdownlint-cli2.jsonc exclusion path for Instrumentation-Events
  • Updates links across 35 files

Test plan

  • npm run lint passes
  • ./bin/mklint passes
  • Grep confirms zero stale (Operations- references

Move 6 files from Operations/ to Infrastructure/, including
renaming Development-vs-Production.md to
Application-Development-vs-Production.md. Merge Operations
section into Infrastructure in Home.md. Remove Operations
namespace from build scripts. Update .markdownlint-cli2.jsonc
exclusion path.
@mensfeld mensfeld merged commit d100608 into master Mar 21, 2026
4 checks passed
@mensfeld mensfeld deleted the move-operations-to-infrastructure branch March 21, 2026 10:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant