File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -142,11 +142,11 @@ jobs:
142142 echo "${{ secrets.MODULE_PR_TOKEN }}" > token.txt
143143 gh auth login --with-token < token.txt
144144 export CURRENT_PR=$(gh pr list -R ${{ github.repository_owner }}/opencast --head t/admin-${{ needs.detect-repo-owner.outputs.branch }} --json number --jq '.[].number')
145+ git push origin t/admin-${{ needs.detect-repo-owner.outputs.branch }} --force
145146 if [ -n "$CURRENT_PR" ]; then
146147 gh pr edit $CURRENT_PR \
147148 --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 }})" \
148149 -R ${{ github.repository_owner }}/opencast
149- git push origin t/admin-${{ needs.detect-repo-owner.outputs.branch }} --force
150150 else
151151 gh pr create \
152152 --title "Update ${{ needs.detect-repo-owner.outputs.branch }} Admin Interface" \
You can’t perform that action at this time.
0 commit comments