git push without username/password

https://docs.github.com/en/get-started/getting-started-with-git/managing-remote-repositories