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
|
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
|
||||||
|
|
|
@ -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
|
||||||
|
|
Loading…
Reference in a new issue