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
type: string
push:
tags:
- '*'
jobs:
cabal-config-edge:
name: Generate cabal config for edge

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