Rename merge_open_prs.sh to merge_open_prs.sh

This commit is contained in:
Alexandre
2025-08-19 22:02:39 +02:00
committed by GitHub
parent f2c8fbb4e3
commit 5e22186d97