Skip to content

Commit

Permalink
fix: allow a differnt repo name than repo name
Browse files Browse the repository at this point in the history
  • Loading branch information
boredland committed Feb 6, 2023
1 parent 43bdb9b commit 900334c
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion action.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
name: 'repo add'
description: 'downloads github release assets and checks them in'
inputs:
name:
description: 'name of the repository to create'
required: false
repository:
description: 'repository to search for a release in'
required: true
Expand Down Expand Up @@ -78,7 +81,7 @@ runs:
cp -f /tmp/*-${arch}* $repo_dir || echo "no ${arch} files found"
cp -f /tmp/*-any* $repo_dir || echo "no any files found"
repo-add --sign --new --remove --prevent-downgrade $repo_dir/${{ github.event.repository.name }}.db.tar.gz $repo_dir/*.zst || echo "no files found for $arch"
repo-add --sign --new --remove --prevent-downgrade $repo_dir/${{ inputs.name || github.event.repository.name }}.db.tar.gz $repo_dir/*.zst || echo "no files found for $arch"
done
rm -f docs/**/*.old* || echo 'no .old files found'
Expand Down

0 comments on commit 900334c

Please sign in to comment.