aljaz/plugins
1
0
Fork 0
mirror of https://github.com/aljazceru/plugins.git synced 2025-12-24 08:34:18 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix CI workflow main

Browse Source
This commit is contained in:
sip21
2024-03-01 18:59:00 -06:00
committed by Christian Decker
parent 458a53c71b
commit 6f9489a38f
1 changed files with 11 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
.github/workflows/main.yml vendored
View File

@@ -96,19 +96,25 @@ jobs:
plugin_dirs=''
if [[ ${{ github.event_name }} == 'pull_request' ]]; then
if [[ '${{ github.event_name }}' == 'pull_request' ]]
then
# Fetch and checkout branches to permit the 'git diff' below.
git fetch && git checkout ${{ github.base_ref }}
head_ref='${{ github.head_ref }}'
source_repo="${{ github.event.pull_request.head.repo.full_name }}"
# Fetch and update local head ref if the source repository is not ours.
if [[ $source_repo != ${{ github.repository }} ]]; then
git fetch https://github.com/$source_repo.git ${{ github.head_ref }}:${{ github.head_ref }}
if [[ "$source_repo" != "${{ github.repository }}" ]]
then
git remote add other-remote https://github.com/$source_repo
git fetch other-remote
head_ref="other-remote/${{ github.head_ref }}"
else
git checkout ${{ github.head_ref }}
fi
git checkout ${{ github.head_ref }}
# Collect the plugins that have changed.
plugin_dirs=$(git diff --name-only ${{ github.base_ref }} ${{ github.head_ref }} \
plugin_dirs=$(git diff --name-only ${{ github.base_ref }} $head_ref \
| cut -d '/' -f1 \
| grep -v '^\.' \
| grep -v 'archived' \