Why did you implement git push no-mistakes as a local Git remote proxy instead of building it as a GitHub Action or a pre-push hook? What limitations did those approaches have that led you to this architecture?