Julia Evans on Nostr: poll: when you run `git pull`, do you explicitly specify a remote and branch to pull ...poll: when you run `git pull`, do you explicitly specify a remote and branch to pull from? like (`git pull origin main`)