Git credentials: https://docs.github.com/en/get-started/getting-started-with-git/caching-your-github-credentials-in-git