The shared lock (see https://github.com/EESSI/filesystem-layer/blob/main/scripts/automated_ingestion/ingest_bundles.py#L144) does seem to work fine for two cronjobs trying to run simultaneously, but for some reason it doesn't seem to work for a cronjob + manual run.