From be6a7eb4f90c221207b01d63b01c70659ebf3d73 Mon Sep 17 00:00:00 2001
From: Jaco Greeff <jacogr@gmail.com>
Date: Mon, 7 Oct 2019 16:16:19 +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