so just spent a couple of hours trying to understand how to safely push to 2 different git providers using different credentials at first there was a script... but then I found git-filter-repo very handy
Daniel
@danielcodess.bsky.social
Learning to code via an intensive 18-month peer-to-peer program. Documenting my journey here