From 717bcf357abb4621f4ed4818e78b81208db192c1 Mon Sep 17 00:00:00 2001
From: Christian Femers <c.femers@tum.de>
Date: Fri, 18 Sep 2020 17:36:56 +0200
Subject: [PATCH] Only run GitHub Actions on push to master to avoid duplicate
 PR builds

---
 .github/workflows/maven.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index 62a71c2f..60b9f415 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -4,7 +4,7 @@ on:
   pull_request:
   push:
     branches:
-      - '**'
+      - 'master'
     tags:
       - '[0-9]+.[0-9]+.[0-9]+*'
   release: