Do not create bare git

This commit is contained in:
Antoine Martin 2024-09-09 17:40:02 -04:00
parent 611d0dfa69
commit dc4684a8e1
Signed by: forge
GPG key ID: D62A472A4AA7D541

View file

@ -19,21 +19,21 @@ jobs:
steps:
- name: Environment setup
run: apk add grep git sed coreutils bash
- name: Comparing tags of upstream and destination
- name: Missing tag detecting
run: |
git ls-remote $upstream "refs/tags/$tags" | grep -v '{' | sed 's|.*/||' > upstream_tags
git ls-remote $destination "refs/tags/$tags" | grep -v '{' | sed 's|.*/||' > destination_tags
cat upstream_tags destination_tags | tr ' ' '\n' | sort | uniq -u > missing_tags
echo "Missing tags:"
cat missing_tags
- name: Fetching missing tags
- name: Missing tag fetch
run: |
git init --bare .
git init .
git remote add origin $upstream
while read tag; do
git fetch origin tag $tag --no-tags
done < missing_tags
- name: Injecting packaging workflow
- name: Packaging workflow injection
run: |
while read tag; do
git checkout $tag