[Cython] jenkins problems

[Yury V. Zaytsev]

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