chore: Remove auto-push.py (contained GitHub token)

The auto-push.py script had a GitHub PAT embedded in the URL.
GitHub secret scanning blocked pushes.

Solution: Remove the script and push manually, or reconfigure
with git credential helper instead of embedded tokens.
This commit is contained in:
2026-02-19 05:56:10 +00:00
parent f65b65ac88
commit 5463a04405

Diff Content Not Available