Update REST-CI URL (#4757)

Update REST-CI URL

---
TYPE: NO_HISTORY
DESC: Update REST-CI URL

Author: ihnorton

.github/workflows/ci-rest.yml

@@ -10,20 +10,20 @@ jobs:
 
     steps:
       # For easy access to lookup dispatched CI job.
-      - name: Print URL for TileDB-REST-CI actions
-        run: echo https://github.com/TileDB-Inc/TileDB-REST-CI/actions
+      - name: Print URL for REST CI actions
+        run: echo https://github.com/TileDB-Inc/TileDB-Internal/actions
 
       # If this workflow fails on the remote repository, this CI job will also fail.
-      - name: Workflow dispatch to TileDB-REST-CI
+      - name: Workflow dispatch to REST CI
         id: trigger-step
         uses: aurelien-baudet/workflow-dispatch@v2
         env:
           TILEDB_REST_CI_PAT: ${{ secrets.TILEDB_REST_CI_PAT }}
         # Skip if no PAT is set (e.g. for PRs from forks).
         if: env.TILEDB_REST_CI_PAT != null
         with:
-          repo: TileDB-Inc/TileDB-REST-CI
-          # Trigger workflow on TileDB-REST-CI at this ref.
+          repo: TileDB-Inc/TileDB-Internal
+          # Trigger workflow on TileDB-Internal at this ref.
           ref: "main"
           workflow: full-ci.yml
           token: ${{ secrets.TILEDB_REST_CI_PAT }}