On Thu, Jun 30, 2016, at 19:06, Lawrence D’Oliveiro wrote: > On Friday, July 1, 2016 at 1:09:31 AM UTC+12, Christian Gollwitzer wrote: > > Github makes that extremely easy, just create an account, create a repo, > > "git pull" and start working. Your incremental changes will be updated > > with each "git push". > > I start with “git init” and never pull, only push. > > I do use “git fetch && git rebase origin/master master” to copy from > upstream repos to mine.
In context, I assume that by "pull" he actually meant "clone". But, yeah, git pull is mostly an attractive nuisance for environments that have a clear hierarchy. -- https://mail.python.org/mailman/listinfo/python-list
