From 148c023952e497915ec51b99f7803605398e65a2 Mon Sep 17 00:00:00 2001
From: Jaco Greeff <jacogr@gmail.com>
Date: Mon, 7 Oct 2019 16:15:23 +0200
Subject: [PATCH] Rename push.yml to pr.yml

---
 .github/workflows/{push.yml => pr.yml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{push.yml => pr.yml} (100%)

diff --git a/.github/workflows/push.yml b/.github/workflows/pr.yml
similarity index 100%
rename from .github/workflows/push.yml
rename to .github/workflows/pr.yml