On Tuesday, September 13, 2022 at 3:36:18 PM UTC+9 Matthias Koeppe wrote: > On Monday, September 12, 2022 at 10:36:06 PM UTC-7 Travis Scrimshaw wrote: > >> Last I remember, using https instead of ssh meant I had to input my UN/PW >> every time I did a push or a pull >> > > > https://docs.github.com/en/get-started/getting-started-with-git/caching-your-github-credentials-in-git > > I was not aware of that. I don't remember that being there when I first started using git and GH (some 10+ years ago I think). Perhaps I should have checked this more thoroughly. Nevertheless, good to know.
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/6f3dc6ec-036d-4941-a684-8e726753b0dfn%40googlegroups.com.
