actually, I'd rather not copy files not tracked by git

This commit is contained in:
Dominic 2024-12-09 15:34:11 +01:00
parent 3209827765
commit 81a3efd033
Signed by: msrd0
GPG key ID: AAF7C8430CA3345D

View file

@ -37,8 +37,6 @@ runs:
- name: Ensure .SRCINFO is up to date - name: Ensure .SRCINFO is up to date
run: diff -u .SRCINFO .SRCINFO.new run: diff -u .SRCINFO .SRCINFO.new
- run: rm .SRCINFO.new
- name: Mirror to the AUR - name: Mirror to the AUR
run: | run: |
mkdir -p ~/.ssh mkdir -p ~/.ssh
@ -62,8 +60,21 @@ runs:
export GIT_SSH_COMMAND='ssh -i ~/.ssh/ssh_key -o IdentitiesOnly=yes' export GIT_SSH_COMMAND='ssh -i ~/.ssh/ssh_key -o IdentitiesOnly=yes'
git clone "ssh://aur@aur.archlinux.org/$pkgbase.git" aur git clone "ssh://aur@aur.archlinux.org/$pkgbase.git" aur
find aur -maxdepth 1 -type f | (set -x; while read file; do rm -f "$file"; done) find aur -maxdepth 1 -type f \
find . -maxdepth 1 -type f | (set -x; while read file; do cp "$file" aur; done) | while read file
do
echo "Removing old file $file ..."
rm -f "$file"
done
git ls-tree --name-only HEAD \
| while read file
do
if [ -f "$file" ]
then
echo "Copying new file $file ..."
cp "$file" aur
fi
done
cd aur cd aur
git add . git add .
git config user.name "${{github.event.head_commit.committer.name}}" git config user.name "${{github.event.head_commit.committer.name}}"