From b4b09b3985213daf5153dba2eb63937d7682c584 Mon Sep 17 00:00:00 2001
From: Greg Logan <gregorydlogan@gmail.com>
Date: Fri, 24 Apr 2026 14:26:02 -0600
Subject: [PATCH] Automate merging the PR generated when this submodule updates

---
 .github/workflows/deploy-main-branches.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/deploy-main-branches.yml b/.github/workflows/deploy-main-branches.yml
index 5d534437d0..22561f6815 100644
--- a/.github/workflows/deploy-main-branches.yml
+++ b/.github/workflows/deploy-main-branches.yml
@@ -147,6 +147,7 @@ jobs:
             gh pr edit $CURRENT_PR \
               --body "Updating Opencast ${{ needs.detect-repo-owner.outputs.branch }} Admin Interface module to [${{ github.sha }}](https://github.com/${{ github.repository_owner }}/admin-interface/commit/${{ github.sha }})" \
               -R ${{ github.repository_owner }}/opencast
+            gh pr merge --auto --merge
           else
             gh pr create \
               --title "Update ${{ needs.detect-repo-owner.outputs.branch }} Admin Interface" \
@@ -157,4 +158,8 @@ jobs:
               #FIXME: fine grained PATs can't apply labels
               #FIXME: classic PATs don't have the permissions because the PR isn't in an opencastproject (the user) repo
               #--label admin-ui --label maintenance \
+            # Set the PR to auto merge
+            # We sleep here since sometimes the merge call right after might be too fast for Github
+            sleep 30
+            gh pr merge --auto --merge
           fi