Compare commits

...

2 commits

Author SHA1 Message Date
dc4684a8e1
Do not create bare git 2024-09-09 17:40:02 -04:00
611d0dfa69
on push tags 2024-09-09 17:39:44 -04:00
2 changed files with 8 additions and 4 deletions

View file

@ -6,6 +6,10 @@ on:
required: true required: true
type: string type: string
push:
tags:
- '*'
jobs: jobs:
cabal-config-edge: cabal-config-edge:
name: Generate cabal config for edge name: Generate cabal config for edge

View file

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