Slight perf improvement for GH build checkout action; removed unused workflow.

3 files changed, 0 insertions, 33 deletions

diff --git a/.github/workflow/repo-sync.yml b/.github/workflow/repo-sync.yml
deleted file mode 100644
index fce0721c7..000000000
--- a/.github/workflow/repo-sync.yml
+++ /dev/null
@@ -1,25 +0,0 @@
-name: Repo Sync
-
-on:
-  schedule:
-    - cron: "*/15 * * * *"
-
-jobs:
-  repo-sync:
-    name: Repo Sync
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v1
-      - uses: repo-sync/github-sync@v2
-        name: Sync repository to branch
-        with:
-          source_repo: ${{ secrets.SOURCE_REPO }}
-          source_branch: "master"
-          destination_branch: ${{ secrets.INTERMEDIATE_BRANCH }}
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-      - uses: repo-sync/pull-request@v2
-        name: Create pull request
-        with:
-          source_branch: ${{ secrets.INTERMEDIATE_BRANCH }}
-          destination_branch: "master"
-          github_token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/.github/workflows/dependency-updates.yml b/.github/workflows/dependency-updates.yml
index eb1fb56f2..f55f28334 100644
--- a/.github/workflows/dependency-updates.yml
+++ b/.github/workflows/dependency-updates.yml
@@ -26,7 +26,6 @@ jobs:
         uses: actions/checkout@v2
         with:
           submodules: recursive
-          fetch-depth: 0
       - name: Extract Git branch name from the currently checked out branch (not from the branch where this run was kicked off)
         run: echo "GIT_BRANCH_NAME=$(git rev-parse --abbrev-ref HEAD)" >> $GITHUB_ENV
         shell: bash
diff --git a/.github/workflows/ferdi-builds.yml b/.github/workflows/ferdi-builds.yml
index 6f89fbe25..f326abfd5 100644
--- a/.github/workflows/ferdi-builds.yml
+++ b/.github/workflows/ferdi-builds.yml
@@ -45,7 +45,6 @@ jobs:
         with:
           ref: nightly
           submodules: recursive
-          fetch-depth: 0
       - id: should_run
         name: Check whether there are any commits since this run was last triggered and push them and/or set the output
         if: ${{ github.event_name == 'schedule' || (github.event_name == 'workflow_dispatch' && contains(github.event.inputs.message, 'nightly branch')) }}
@@ -86,13 +85,11 @@ jobs:
         with:
           submodules: recursive
           ref: nightly
-          fetch-depth: 0
       - name: Checkout code along with submodules for any branch if the trigger event is NOT 'scheduled' and this is NOT a forced rebuild on the nightly branch
         uses: actions/checkout@v2
         if: ${{ github.event_name != 'schedule' && env.MANUAL_REBUILD_ON_NIGHTLY != 'true' }}
         with:
           submodules: recursive
-          fetch-depth: 0
       - name: Extract Git branch name from the currently checked out branch (not from the branch where this run was kicked off)
         run: echo "GIT_BRANCH_NAME=$(git rev-parse --abbrev-ref HEAD)" >> $GITHUB_ENV
         shell: bash
@@ -185,13 +182,11 @@ jobs:
         with:
           submodules: recursive
           ref: nightly
-          fetch-depth: 0
       - name: Checkout code along with submodules for any branch if the trigger event is NOT 'scheduled' and this is NOT a forced rebuild on the nightly branch
         uses: actions/checkout@v2
         if: ${{ github.event_name != 'schedule' && env.MANUAL_REBUILD_ON_NIGHTLY != 'true' }}
         with:
           submodules: recursive
-          fetch-depth: 0
       - name: Extract Git branch name from the currently checked out branch (not from the branch where this run was kicked off)
         run: echo "GIT_BRANCH_NAME=$(git rev-parse --abbrev-ref HEAD)" >> $GITHUB_ENV
         shell: bash
@@ -276,13 +271,11 @@ jobs:
         with:
           submodules: recursive
           ref: nightly
-          fetch-depth: 0
       - name: Checkout code along with submodules for any branch if the trigger event is NOT 'scheduled' and this is NOT a forced rebuild on the nightly branch
         uses: actions/checkout@v2
         if: ${{ github.event_name != 'schedule' && env.MANUAL_REBUILD_ON_NIGHTLY != 'true' }}
         with:
           submodules: recursive
-          fetch-depth: 0
       - name: Extract Git branch name from the currently checked out branch (not from the branch where this run was kicked off)
         run: echo "GIT_BRANCH_NAME=$(git rev-parse --abbrev-ref HEAD)" >> $GITHUB_ENV
         shell: bash