File tree Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Expand file tree Collapse file tree 1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -9,13 +9,16 @@ echo "########################################"
9
9
echo " #"
10
10
echo " # Checking for unformatted/out of date files"
11
11
echo " #"
12
+ echo " # Ref: $GITHUB_REF "
13
+ echo " # Base ref: $GITHUB_BASE_REF "
14
+ echo " #"
12
15
echo
13
16
14
17
echo " Undoing changes to autogenerated files"
15
18
git checkout -- src/data/examples.json
16
19
git checkout -- src/pages/postgraphile/usage-* .md
17
20
18
- 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
19
22
echo " GITHUB_TOKEN is specified"
20
23
21
24
# git diff-index only looks at modified timestamps; this update-index call
You can’t perform that action at this time.
0 commit comments