We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 002e700 commit a13b5d3Copy full SHA for a13b5d3
1 file changed
scripts/ci
@@ -9,13 +9,16 @@ echo "########################################"
9
echo "#"
10
echo "# Checking for unformatted/out of date files"
11
12
+echo "# Ref: $GITHUB_REF"
13
+echo "# Base ref: $GITHUB_BASE_REF"
14
+echo "#"
15
echo
16
17
echo "Undoing changes to autogenerated files"
18
git checkout -- src/data/examples.json
19
git checkout -- src/pages/postgraphile/usage-*.md
20
-if [ "$GITHUB_TOKEN" != "" ] && [ "$GITHUB_BASE_REF" != "" ] && [ "$GITHUB_REF" == "ref/heads/develop" ]; then
21
+if [ "$GITHUB_TOKEN" != "" ] && [ "$GITHUB_BASE_REF" == "" ] && [ "$GITHUB_REF" == "ref/heads/develop" ]; then
22
echo "GITHUB_TOKEN is specified"
23
24
# git diff-index only looks at modified timestamps; this update-index call
0 commit comments