From 246b9e7aede03dc3a3f12f2a9585d6097e112e95 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Tue, 29 Jan 2019 20:00:45 +0100
Subject: [PATCH] fetch_prs_between: add .sh file ending

---
 util/{fetch_prs_between => fetch_prs_between.sh} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename util/{fetch_prs_between => fetch_prs_between.sh} (100%)

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