Something in this environment periodically rewrites origin back to an https URL with an embedded token; this script switches it to SSH before every push so pushes don't depend on that token. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
