From 3c05b28ab83e0fd39ec732ca0aa629ef9475bdaf Mon Sep 17 00:00:00 2001
From: alemuntoni <muntoni.alessandro@gmail.com>
Date: Thu, 7 Apr 2022 17:29:04 +0200
Subject: [PATCH] automatic merge main into devel

---
 .github/workflows/AutoMergeMainOnDevel.yml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 .github/workflows/AutoMergeMainOnDevel.yml

diff --git a/.github/workflows/AutoMergeMainOnDevel.yml b/.github/workflows/AutoMergeMainOnDevel.yml
new file mode 100644
index 000000000..18965f08f
--- /dev/null
+++ b/.github/workflows/AutoMergeMainOnDevel.yml
@@ -0,0 +1,21 @@
+name: AutoMergeMainOnDevel
+
+on:
+  push:
+    branches:
+      - 'main'
+
+jobs:
+  auto_merge:
+    name: Automatic Merge Main On Devel
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+    - name: Merge main -> devel
+      uses: devmasx/merge-branch@master
+      with:
+        type: now
+        target_branch: devel
+        message: "Automatic merge branch 'main' into 'devel'"
+        github_token: ${{ github.token }}