Author
Label
Projects
Milestones
Reviews
Assignee
Sort
opam source: fix directory display in dev mode
PR: QUEUED
Use the new menus for the initial setup too
AREA: UI
PR: QUEUED
Pending pull request, waiting for other work to be merged or closed
opam update: Avoid reloading repository contents when the repo has not changed
PR: QUEUED
Pending pull request, waiting for other work to be merged or closed
#5043
opened Feb 6, 2022 by
Armael
init scripts: revert environment before settings new one, on session loading
PR: WIP
Not for merge at this stage
Remove unnecessary copies/move when fetching archives
PR: WIP
Not for merge at this stage
#5018
opened Jan 21, 2022 by
kit-ty-kate
Check that the repositories given to "opam repository remove" actually exist
PR: WIP
Not for merge at this stage
#5014
opened Jan 20, 2022 by
kit-ty-kate
Fix opamroot-versions.test glitch
PR: WIP
Not for merge at this stage
#5007
opened Jan 19, 2022 by
AltGr
Avoid trying to be too clever when upgrading switches from opam 2.0
#5002
opened Jan 18, 2022 by
kit-ty-kate
Previous Next
ProTip!
Updated in the last three days: updated:>2022-04-05.