Skip to content

CI: restore repo state after diffcheck run #2010

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

CI: restore repo state after diffcheck run #2010

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 19 additions & 2 deletions scripts/diffcheck.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,27 @@
#!/bin/bash

set -euo pipefail

scripts/buildtable.pl >/tmp/table.mediawiki 2> /dev/null
diff README.mediawiki /tmp/table.mediawiki | grep '^[<>] |' >/tmp/after.diff || true
if git checkout HEAD^ && scripts/buildtable.pl >/tmp/table.mediawiki 2>/dev/null; then

orig_branch=$(git symbolic-ref --short HEAD 2>/dev/null || true)
orig_head=$(git rev-parse HEAD)

cleanup() {
if [[ -n "$orig_branch" ]]; then
git checkout "$orig_branch" >/dev/null 2>&1 || git checkout "$orig_head" >/dev/null 2>&1
else
git checkout "$orig_head" >/dev/null 2>&1 || true
fi
}
trap cleanup EXIT

if git checkout HEAD^ >/dev/null 2>&1; then
trap 'cleanup; exit 1' INT TERM HUP
scripts/buildtable.pl >/tmp/table.mediawiki 2>/dev/null
diff README.mediawiki /tmp/table.mediawiki | grep '^[<>] |' >/tmp/before.diff || true
newdiff=$(diff -s /tmp/before.diff /tmp/after.diff -u | grep '^+')
newdiff=$(diff -s /tmp/before.diff /tmp/after.diff -u | grep '^[+]')
if [ -n "$newdiff" ]; then
echo "$newdiff"
exit 1
Expand Down
Loading