Compare commits
2 commits
2c90c6b5e2
...
dc4684a8e1
Author | SHA1 | Date | |
---|---|---|---|
dc4684a8e1 | |||
611d0dfa69 |
2 changed files with 8 additions and 4 deletions
|
@ -6,6 +6,10 @@ on:
|
|||
required: true
|
||||
type: string
|
||||
|
||||
push:
|
||||
tags:
|
||||
- '*'
|
||||
|
||||
jobs:
|
||||
cabal-config-edge:
|
||||
name: Generate cabal config for edge
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue