I happen to have memorised how to add new remotes a long time ago, but I would 100% not care if someone I worked with googled it every time. That's how it was for me for several years. I don't think that has anything to do with "learning the tools". And getting claude to do it is not that much different from copy-pasting from google.

▲ wtetzner 7 hours ago | parent [-]

TBH I usually just search my shell history for the last time I added a remote and edit it.

	▲	saghm 5 hours ago \| parent [-]
		It's also not particularly hard to write a shell function to avoid needing to care about the syntax, e.g.: `add_github_remote() { git remote add $1 git@github.com:$2/$3.git }`