# .tangled/workflows/mirror.yml
when:
  - event: ["push"]
    branch: ["main"]

engine: "nixery"

clone:
  depth: 0

dependencies:
  nixpkgs:
    - git

steps:
  - name: "Mirror to a GitHub Repository in the branch mirror/main to use for GitHub pages"
    command: |
      git fetch --unshallow || true
      git remote add github https://x-access-token:GITHUB_TOKEN@github.com/your-user/your-repo.git
      git push github HEAD:refs/heads/mirror/main --force