chore: remove unused 'revive' binary (#116796)

This commit is contained in:
Kevin Minehart Tenorio 2026-01-25 10:12:10 +01:00 committed by GitHub
parent 95aab2af8d
commit cc700a6372
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

Binary file not shown.