diff options
| author |  Henrik Tjäder <henrik@tjaders.com>
| 2023-11-08 22:01:39 +0100 |
|---|---|---|
| committer |  Emil Fresk <emil.fresk@gmail.com>
| 2023-11-09 20:49:22 +0000 |
| commit | 413955fb39b72a1c08c6852052b0626a175b1ca8 (patch) | |
| tree | 0c931f6e62622454132e3f649022daaaab83bb04 | |
| parent | ea8b5b6c334113fffeadd11f36d6dbb27988d624 (diff) | |
| download | rtic-413955fb39b72a1c08c6852052b0626a175b1ca8.tar.gz rtic-413955fb39b72a1c08c6852052b0626a175b1ca8.tar.zst rtic-413955fb39b72a1c08c6852052b0626a175b1ca8.zip | |
CI: Create local repo awareness of branch ref
| -rw-r--r-- | .github/workflows/build.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 4815e424..19a13d71 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -484,7 +484,13 @@ jobs: - name: Push to stable release branch if master contains stable version if: ${{ env.versionmajor == env.STABLE_VERSION }} - run: git push -u origin master:${{ env.branch }} + run: | + # Get the full history of the branch leading up to current commit + git fetch --unshallow + # Make git aware of the release branch + git fetch -u origin ${{ env.branch }} + # Push the full history into the release branch + git push -u origin master:${{ env.branch }} - name: Else case, master did not contain the stable version if: ${{ env.versionmajor != env.STABLE_VERSION }} |