diff --git a/util/fetch_prs_between b/util/fetch_prs_between.sh similarity index 100% rename from util/fetch_prs_between rename to util/fetch_prs_between.sh