Skip to content

fix: rename module path from instrospection to introspection#6

Merged
aretw0 merged 3 commits intomainfrom
copilot/fix-typo-in-instrospection
Feb 15, 2026
Merged

fix: rename module path from instrospection to introspection#6
aretw0 merged 3 commits intomainfrom
copilot/fix-typo-in-instrospection

Conversation

Copy link
Contributor

Copilot AI commented Feb 15, 2026

Go module was published as github.com/aretw0/instrospection — typo makes go get unresolvable since the repo is github.com/aretw0/introspection.

Module path fix

  • go.mod module declaration, all import paths, and README references updated from instrospectionintrospection
-module github.com/aretw0/instrospection
+module github.com/aretw0/introspection

Post-merge runbook (docs/MODULE_RENAME.md)

Documents the manual steps the maintainer must perform after merge:

  • Delete old tags (v0.1.0, v0.1.1) and their GitHub Releases
  • Tag v0.1.2 with corrected module path
  • Verify pkg.go.dev indexing
  • Optional retract directives for old versions

Also explains why git history rewriting is ineffective here — Go module proxy and checksum DB cache versions permanently.

Bookkeeping

  • Decision record #10 in docs/DECISIONS.md
  • docs/PLANNING.md updated with v0.1.2 milestone
  • VERSION bumped to 0.1.2

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Co-authored-by: aretw0 <14055273+aretw0@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix typo in introspection term fix: rename module from instrospection to introspection Feb 15, 2026
Copilot AI requested a review from aretw0 February 15, 2026 04:34
Co-authored-by: aretw0 <14055273+aretw0@users.noreply.github.com>
Copilot AI changed the title fix: rename module from instrospection to introspection fix: rename module path from instrospection to introspection Feb 15, 2026
@aretw0 aretw0 marked this pull request as ready for review February 15, 2026 05:05
@aretw0 aretw0 merged commit 9dffae7 into main Feb 15, 2026
1 check passed
@aretw0 aretw0 deleted the copilot/fix-typo-in-instrospection branch February 15, 2026 05:06
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