Tangled checkouts are shallow (--depth=1), so push failed when GitHub
needed intermediate objects. Unshallow before fetching all branches.

The hourly GitHub Actions cron mirroring from Tangled fails regularly.
Switch to a Tangled spindle workflow that pushes to GitHub on each push
to main. Requires GITHUB_TOKEN secret configured in Tangled repo settings.

The default GITHUB_TOKEN lacks the workflows scope, so mirror pushes
that touch .github/workflows/ are rejected. Swap to a fine-grained
PAT (MIRROR_TOKEN) with Contents + Workflows write.

* Fix keybindings

* Disable Arrow keys

* Move to 25.11 (#7)

---------

Signed-off-by: Ivan Ilak <80773801+i-ilak@users.noreply.github.com>

Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v5...v6)

---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '6'
dependency-type: direct:production
update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5.
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v4...v5)

---
updated-dependencies:
- dependency-name: actions/checkout
dependency-version: '5'
dependency-type: direct:production
update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* Fix workflow names and add badges

* Move to new formatter