Skip to content

Preserve Git-backed local package pins#1116

Merged
smorimoto merged 1 commit into
masterfrom
fix/preserve-git-pin-detection
Jul 20, 2026
Merged

Preserve Git-backed local package pins#1116
smorimoto merged 1 commit into
masterfrom
fix/preserve-git-pin-detection

Conversation

@smorimoto

Copy link
Copy Markdown
Member

Summary

  • Pin each local package from its own directory so that opam can infer the appropriate backend.
  • Preserve Git-backed pins instead of coercing local repositories to rsync pins.
  • Rebuild the bundled action.

Background

The batched normalised pin format converted every local package directory to an explicit file:// URL. opam interprets explicit file URLs as rsync sources, bypassing its local version-control detection.

This could break workflows which use opam source to copy a pinned package into a directory within the source checkout, as the rsync backend rejects overlapping source and destination paths. Using the standard local-path form restores opam's existing Git and rsync inference.

Verification

  • yarn build
  • yarn lint
  • yarn typecheck
  • git diff --check

Fixes #1114

@smorimoto smorimoto added the bug Something isn't working label Jul 20, 2026
@smorimoto
smorimoto marked this pull request as ready for review July 20, 2026 08:44
@smorimoto
smorimoto merged commit 1558dd0 into master Jul 20, 2026
19 checks passed
@smorimoto
smorimoto deleted the fix/preserve-git-pin-detection branch July 20, 2026 08:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

opam pins the project with rsync instead of git

1 participant