From a4d99d952adc8e9e13030cdd2aeaec988c5a6342 Mon Sep 17 00:00:00 2001
From: ludeeus <joasoe@gmail.com>
Date: Mon, 21 Oct 2019 10:27:50 +0200
Subject: [PATCH] Use push instead of pull

---
 .github/workflows/{PullRequests.yml => Push.yml} | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)
 rename .github/workflows/{PullRequests.yml => Push.yml} (82%)

diff --git a/.github/workflows/PullRequests.yml b/.github/workflows/Push.yml
similarity index 82%
rename from .github/workflows/PullRequests.yml
rename to .github/workflows/Push.yml
index e7375c4..e2a25fe 100644
--- a/.github/workflows/PullRequests.yml
+++ b/.github/workflows/Push.yml
@@ -1,10 +1,8 @@
-name: Pull request
-on:
-  pull_request:
-    types: [labeled, opened, synchronize, reopened, closed]
+name: Push
+on: push
 
 jobs:
-  pull_request:
+  push:
     name: Actions
     runs-on: ubuntu-latest
     steps: