Repository navigation

fix: repair pull requests again after a rebase - #10451

Merged

cryptodev-2s merged 5 commits into

mainfrom

fix/repair-on-push

Sep 24, 2026

Commits on Sep 24, 2026
- fix: repair pull requests again after a rebase
  cryptodev-2s
  committed
  3559c0a
- fix: drop the added comments
  cryptodev-2s
  committed
  c4b2654
- fix: hoist the repair commit identity
  cryptodev-2s
  committed
  c994545
- fix: move the identity comment to the declaration
  cryptodev-2s
  committed
  65b450c
- fix: use last instead of head
  
  cryptodev-2s
  and
  mcmire
  authored
  798f702