buildfarm and git pull

Hi Andrew,

I have a question about how buildfarm works with git, could you please 
help? We use buildfarm locally at PGPro to test our branches, and it 
breaks when I rebase and force push to the repository. To get the remote 
changes, buildfarm does 'git checkout .' followed by 'git pull', and the 
latter breaks when the remote branch was rebased.

I was wondering if the buildfarm really has to do 'git pull'? Pull is 
supposed to be used to integrate local changes with remote ones, but 
buildfarm doesn't have any local changes, does it? It just has to 
checkout the remote branch as-is. To do that, when the state of working 
directory is not know, I'd do the following commands:

git fetch # get the remote changes
git checkout -f <remote>/<branch> # checkout the needed remote branch; 
on conflict, use the remote files
git reset --hard # revert all modifications in tracked files
git clean -xfd # recursively delete all unversioned and ignored files

Do you think this approach is correct or am I missing something?

-- 
Alexander Kuzmenkov
Postgres Professional: http://www.postgrespro.com
The Russian Postgres Company