Repository navigation

Fix upstream deletes across independent peer revision spaces - #185

Closed

github-actions[bot] wants to merge 7 commits into

mainfrom

gardener/fix-peer-tombstones-167

Closed

Fix upstream deletes across independent peer revision spaces#185
github-actions[bot] wants to merge 7 commits into
mainfrom
gardener/fix-peer-tombstones-167

Commits on Oct 1, 2026
- Fix upstream tombstones across independent peer revision spaces
  github-actions[bot]
  authored
  b7af735
- Merge branch 'main' into gardener/fix-peer-tombstones-167
  scuffi
  authored
  bf3195f
- Request a fresh review
  scuffi
  committed
  f78ff4b
- Tighten the pull tombstone guard
  github-actions[bot]
  authored
  4f13766
- Keep unpushed hardlinks when a pull rewrites their inode
  github-actions[bot]
  authored
  c053336
Commits on Oct 7, 2026
- Merge branch 'main' into gardener/fix-peer-tombstones-167
  scuffi
  authored
  09c6040
- Let remote deletes win for a rewritten hardlink name
  github-actions[bot]
  authored
  7fcd593