From 90be93b91867396b080b3a7642d809dcdaae8d1c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?=
 <theypsilon@gmail.com>
Date: Sun, 30 Jan 2022 17:17:09 +0100
Subject: [PATCH] Push trigger on develop branch

---
 .github/workflows/update_distribution.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/update_distribution.yml b/.github/workflows/update_distribution.yml
index 46a1c3f37..c8fb4db77 100644
--- a/.github/workflows/update_distribution.yml
+++ b/.github/workflows/update_distribution.yml
@@ -3,6 +3,9 @@ name: Update Distribution
 on:
   schedule:
   - cron:  "*/20 * * * *"
+  push:
+    branches:
+      - develop
   workflow_dispatch:
 
 jobs: