Unpin all opam packages

unpin.sh

#!/bin/bash

# Get the list of pinned packages
pinned_packages=$(opam list --pinned --short)

# Iterate through the list of pinned packages and unpin each one
for package in $pinned_packages; do
    echo $package
    opam unpin $package --yes
done

echo "All packages have been unpinned."