chore: adjust delete PR workflow name and set required permissions#692
Merged
gwarf merged 2 commits intoEGI-Federation:mainfrom Jan 9, 2025
gwarf:fix_preview_cleaning
Merged
chore: adjust delete PR workflow name and set required permissions#692gwarf merged 2 commits intoEGI-Federation:mainfrom gwarf:fix_preview_cleaning
gwarf merged 2 commits intoEGI-Federation:mainfrom
gwarf:fix_preview_cleaning
