Merge branch 'main' into james/geomcoll

dolthub · Oct 18, 2022 · c2fafa6 · c2fafa6
2 parents f89a2c1 + 1282422
commit c2fafa6
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/bump-dependency.yaml b/.github/workflows/bump-dependency.yaml
@@ -18,7 +18,7 @@ jobs:
         run: |
           if [ "$REPO" == "vitess" ]
           then
-            echo "::set-output name=label::vitess-bump"
+            echo "label=vitess-bump" >> $GITHUB_OUTPUT
           else
             echo "$REPO is unsupported"
             exit 1
@@ -105,16 +105,16 @@ jobs:
         run: |
           if [ "${{ github.event.client_payload.assignee }}" == "zachmu" ]
           then
-            echo "::set-output name=reviewer::Hydrocharged"
+            echo "reviewer=Hydrocharged" >> $GITHUB_OUTPUT
           else
-            echo "::set-output name=reviewer::zachmu"
+            echo "reviewer=zachmu" >> $GITHUB_OUTPUT
           fi
       - name: Get short hash
         id: short-sha
         run: |
           commit=${{ github.event.client_payload.head_commit_sha }}
           short=${commit:0:8}
-          echo "::set-output name=short::$short"
+          echo "short=$short" >> $GITHUB_OUTPUT
       - name: Create and Push new branch
         run: |
           git config --global --add user.name "${{ github.event.client_payload.assignee }}"

diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
@@ -37,9 +37,9 @@ jobs:
         run: |
           changes=$(git status --porcelain)
           if [ ! -z "$changes" ]; then
-             echo "::set-output name=has-changes::true"
+             echo "has-changes=true" >> $GITHUB_OUTPUT
           fi
-      - uses: EndBug/add-and-commit@v7
+      - uses: EndBug/add-and-commit@v9.1.1
         if: ${{ steps.detect-changes.outputs.has-changes == 'true' }}
         with:
           message: "[ga-format-pr] Run ./format_repo.sh to fix formatting"