I intentionally avoid this, especially if I am not the only one connecting to a server. I see potentially breaking others' expectations for my convenience as a clear downside. Plus there is a level of paranoia there, I might have unintentionally included a credential in some config that gets copied over. That potentially increases the blast radius of a server compromise beyond what is strictly required for that specific server. I might copy over some scripts into a directory not in $PATH, easy enough to add it to my shell session if needed, CTRL+R helps as well.
...why are you sharing user accounts in this day and age? Yes, absolutely, don't mess up the shared space everyone uses, but why are you sharing that space in the first place?
https://cli.github.com/
The time saving of a well filled ~/.ssh/config is impressive, especially once you start juggling ProxyJump hops.
-J for jumping -L for port forwarding -X for pulling remote applications to view on my laptop (waypipe for Wayland)
Adding all those, and ips and whatnot to .ssh/config so I just type:
ssh foo
Fresh account with two Ask HN questions that are bound to get replies
EDIT: also check their comment history.
...and easy session sharing