Use only main and main-v10 as target branches in the CI and templates

Thus:
- main is renamed to main-v10
- dev is renamed to main,
- dev-v10 is merged into main-v10, then deleted.

The CI and GitHub pull request template are updated according to this change.

Author: popescu-v

.github/PULL_REQUEST_TEMPLATE.md

@@ -4,11 +4,11 @@ _Put your message here_
 ---
 
 ### TODO Before Asking for a Review
-- [ ] Rebase your branch to the latest version of `dev` (or `main` for release PRs)
+- [ ] Rebase your branch to the latest version of `main` (or `main-v10`)
 - [ ] Make sure all CI workflows are green
 - [ ] When adding a public feature/fix: Update the `Unreleased` section of `CHANGELOG.md` (no date)
 - [ ] Self-Review: Review "Files Changed" tab and fix any problems you find
 - API Docs (only if there are changes in docstrings, rst files or samples):
   - [ ] Check the docs build **without** warning: see the log of the API Docs workflow
   - [ ] Check that your changes render well in HTML: download the API Docs artifact and open `index.html`
-  - If there are any problems it is faster to iterate by [building locally the API Docs](../blob/dev/doc/README.md#build-the-documentation)
+  - If there are any problems it is faster to iterate by [building locally the API Docs](../blob/main/doc/README.md#build-the-documentation)

.github/workflows/dev-docker.yml

@@ -81,9 +81,9 @@ jobs:
       - name: Set up the Docker Image Tags
         run: |
           set -x
-          # Set latest only if requested and on "dev", "dev-v10" or "main" branch
+          # Set latest only if requested and on "main-v10" or "main" branch
           if [[ "${{ inputs.set-latest }}" == "true" &&
-                ("$GITHUB_REF_NAME" == "dev" || "$GITHUB_REF_NAME" == "dev-v10" || "$GITHUB_REF_NAME" == "main") ]]
+                ("$GITHUB_REF_NAME" == "main-v10" || "$GITHUB_REF_NAME" == "main") ]]
           then
             DOCKER_IMAGE_TAGS="$IMAGE_URL:latest,$IMAGE_URL:$KHIOPS_REVISION.$IMAGE_INCREMENT"
           else

.github/workflows/tests.yml

@@ -112,8 +112,8 @@ jobs:
             rm -f requires.txt
           done
       - name: Configure Expensive Tests Setting
-        # Skip expensive tests by default, unless on the `dev`, `dev-v10` or `main` branches
-        if: github.ref != 'dev' && github.ref != 'dev-v10' && github.ref != 'main' && ! inputs.run-expensive-tests
+        # Skip expensive tests by default, unless on the `main-v10` or `main` branches
+        if: github.ref != 'main-v10' && github.ref != 'main' && ! inputs.run-expensive-tests
         run: echo "SKIP_EXPENSIVE_TESTS=true" >> "$GITHUB_ENV"
       - name: Prepare Integration Tests on remote files
         if: env.SKIP_EXPENSIVE_TESTS != 'true'