Skip to content
Browse files
fixup! Mirror master and main
The workflow needs to be adjusted so that the just-pushed branch is
cloned (otherwise it is always the default branch that is cloned, even
if in the case that branch is stale).

Signed-off-by: Johannes Schindelin <>
  • Loading branch information
dscho committed Jun 18, 2020
1 parent 3c88881 commit a98b073ae2b993892641bb1eb6ce707cc673d9ad
Showing 1 changed file with 3 additions and 1 deletion.
@@ -10,7 +10,9 @@ jobs:
runs-on: ubuntu-latest
- name: Partial clone
run: git clone --bare --depth=100 --single-branch --filter=blob:none ${{ github.event.repository.html_url }} .
ref: ${{ github.event.ref }}
run: git clone --bare --depth=100 --single-branch --branch ${ref#refs/heads/} --filter=blob:none ${{ github.event.repository.html_url }} .
- name: Push
run: |
git config http. "Authorization: Basic $(echo -n x-access-token:${{ github.token }} | base64 --wrap=0)"

0 comments on commit a98b073

Please sign in to comment.