On Wed, 2011-05-04 at 10:35 +0400, Vitja Makarov wrote: 
> > Can you please provide me jenkins account and I'll try to fix the issues 
> > myself?
> >
> 
> It's better to use:
> 
> $ git fetch origin
> $ git checkout -f origin/master
> 
> Instead of git pull

Or

$ git fetch origin
$ git reset --hard origin/master

which is what we used for our buildbot.

-- 
Sincerely yours,
Yury V. Zaytsev


_______________________________________________
cython-devel mailing list
cython-devel@python.org
http://mail.python.org/mailman/listinfo/cython-devel

Reply via email to