- Notifications
You must be signed in to change notification settings - Fork373
Pull requests: ocaml/opam
Author
Label
Projects
Milestones
Reviews
Assignee
Assigned to nobodyLoading
Sort
Pull requests list
Move the equality check between a pinned package and its upstream to OpamFile.OPAM.effectively_equal_modulo_pin AREA: API AREA: ENGINE PR: QUEUEDPending pull request, waiting for other work to be merged or closed PR: WIPNot for merge at this stage
#6446 openedMar 31, 2025 bykit-ty-kate • Draft
[WIP] Save disk space by only caching dev packages into the internal 'sources' directory AREA: PERFORMANCE AREA: PORTABILITY PR: WIPNot for merge at this stage
#6440 openedMar 29, 2025 bykit-ty-kate • Draft
pin: only display a "is now pinned to" message if the package is not already pinned
#6437 openedMar 27, 2025 bykit-ty-kate • Draft
Upgrade to cmdliner 2.0.0 STATE: NEED INVESTIGATION
#6435 openedMar 26, 2025 bykit-ty-kate • Draft
2 tasks
Change default behaviour for retrieving uncommitted opam files in vcs pin AREA: UI PR: WIPNot for merge at this stage
Move OpamSWHID and its dependency towards the swhid_core library from opam-core to opam-format PR: WIPNot for merge at this stage
#6415 openedMar 11, 2025 bykit-ty-kate • Draft
Fix opam file lookup when a pin is done with a local directory and a branch is specified KIND: BUG PR: WIPNot for merge at this stage
Encourage reading the opam file only once when pinning it
#6406 openedMar 1, 2025 bykit-ty-kateLoading…
Set log dir as temporary directory on safe mode PR: WIPNot for merge at this stage
#6403 openedFeb 27, 2025 byrjbouLoading…
3 tasks
GHA: add a job that test plugins compilation AREA:TEST PR: NEEDS UPDATE
#6394 openedFeb 21, 2025 byrjbouLoading…
3 tasks
InternalPending pull request, waiting for other work to be merged or closed PR: WAITING FOR REVIEW
repos-config
new syntax PR: QUEUEDopam admin
: enforce repository root check for all commands and add upgrade advice PR: NEEDS UPDATE #6391 openedFeb 19, 2025 byrjbouLoading…
Quote command line arguments if necessary when printing them AREA: API AREA: UI PR: WIPNot for merge at this stage
Nushell support PR: WIPNot for merge at this stage
#6330 openedDec 10, 2024 bybenjamin-voisinLoading…
ProTip! Addno:assignee to see everything that’s not assigned.