Changing the Git user info
I want to push to GitHub using a different name and email, but Replit is making me use my Replit username. When I run this:
git config user.name "First Last"
It reverts to my Replit username whenever I reload the repl. How do I prevent that?