Don't ask confirmation when pinning a new package#6309

Merged

rjbou merged 1 commit intoocaml:masterfrom kit-ty-kate:pin-no-ask

Feb 5, 2025

+143-144

Commits on Feb 4, 2025

Don't ask confirmation when pinning a new package

kit-ty-kate
and
rjbou
committed