Hello Eli, Am 23.11.19 um 10:03 schrieb Eeli Kaikkonen: > BTW, it's unnecessarily verbose to say "git pull origin master". Just > "git pull" is enough when you are in the local master branch.
no it's not. Your statement is only true if the user hasn't added one ore more remotes. If you have only one remote configured git tries to be smart and is substitute the rest for the command by the obviously logical value. So, if you want to be safe than the full command line is correct. -- Regards Carsten Schoenert _______________________________________________ Mailing list: https://launchpad.net/~kicad-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~kicad-developers More help : https://help.launchpad.net/ListHelp
