Skip to content

Commit f115656

Browse files
committed
Don't remove the data folder, we keep it around but empty
1 parent 550e2f9 commit f115656

2 files changed

Lines changed: 4 additions & 7 deletions

File tree

.github/workflows/test_overview_available_software.yml

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -36,14 +36,11 @@ jobs:
3636
python scripts/available_software/available_software.py
3737
./scripts/update_generated_time.sh mkdocs.yml
3838
39-
# determine whether pull request should be opened:
39+
# determine whether pull request would need to be opened:
4040
# if detailed software pages in docs/available_software/detail have been updated, then a PR should be opened
4141
if [[ $(git status --porcelain ./docs/available_software/detail) ]]; then
4242
echo "Software pages have been changed, PR should be opened"
4343
git diff ./docs/available_software/detail
4444
else
4545
echo "Software pages have not been changed, no need to open PR"
46-
fi
47-
48-
# remove the data directory containing the original JSON file, or it'll end up in the PR being opened
49-
rm -r ${data_dir}
46+
fi

.github/workflows/update_available_software.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -48,8 +48,8 @@ jobs:
4848
echo "json_data_changed=no" >> $GITHUB_OUTPUT
4949
fi
5050
51-
# remove the data directory containing the original JSON file, or it'll end up in the PR being opened
52-
rm -r ${data_dir}
51+
# remove the JSON file in the data directory, or it'll end up in the PR being opened
52+
rm -r ${data_dir}/*.json
5353
5454
- name: create pull request
5555
uses: peter-evans/create-pull-request@271a8d0340265f705b14b6d32b9829c1cb33d45e # v7.0.8

0 commit comments

Comments
 (0)