Congegni
/
sintonia
7
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ci: don't squash commits during docs sync

This commit is contained in:
jo 2022-12-20 17:01:30 +01:00 committed by Jonas L
parent 6826443c2b
commit 6a15dd0091
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tools/ci-sync-docs.sh
View File

@ -41,15 +41,16 @@ else
fi fi
for commit in $(git rev-list --reverse --no-merges "$commit_range" -- docs); do for commit in $(git rev-list --reverse --no-merges "$commit_range" -- docs); do
rm -fR "website/$dest" git checkout "$commit"
cp -r "docs" "website/$dest"
git show \ git show \
--quiet \ --quiet \
--format="%B%n${GITHUB_REPOSITORY}@%H" \ --format="%B%n${GITHUB_REPOSITORY}@%H" \
"$commit" \ "$commit" \
> commit-message > commit-message
rm -fR "website/$dest"
cp -r "docs" "website/$dest"
pushd website pushd website
git add "$dest" git add "$dest"
git diff-index --quiet HEAD -- || git commit --file=../commit-message git diff-index --quiet HEAD -- || git commit --file=../commit-message