fix check_missing_installations.sh when unmerged PR is used#506

ocaisa merged 1 commit into

EESSI:2023.06-software.eessi.ioEESSI/software-layer:2023.06-software.eessi.iofrom

boegel:2023.06-software.eessi.io_fix-check-missing-installationsboegel/software-layer:2023.06-software.eessi.io_fix-check-missing-installationsCopy head branch name to clipboard