dnim/db
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix: diff broken?
All checks were successful
migrate-devel / migrate-devel (push) Successful in 7s
Details
migrate-stage / migrate-stage (push) Successful in 7s
Details

Browse Source
This commit is contained in:
Orion Kindel 2023-07-14 23:09:14 -04:00
parent 7cda196080
commit 1bf3d29863
Signed by untrusted user who does not match committer: orion
GPG Key ID: 6D4165AE4C928719
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/diff.sh
View File

@ -29,7 +29,7 @@ if [[ ! -f "$migration" ]]; then
echo "migrate from $rev => HEAD" 1>&2 echo "migrate from $rev => HEAD" 1>&2
migra --unsafe $base_url $head_url > "$migration" \ migra --unsafe $base_url $head_url > "$migration" \
|| echo "migra exited with code $?. this is /probably/ fine" 1>&2 \ || echo "migra exited with code $?. this is /probably/ fine" 1>&2
fi fi
echo "$migration" echo "$migration"