Nick: stefanct
E-mail: none
Board: trigger buildbot
Contents: 
#!/bin/sh

repo_dir=/home/flashrom/flashrom-git-stefanct

echo args=$@
git push -f buildbot HEAD:buildthis && {
	ssh flashrom_buildbot "
		cd ${repo_dir} &&
		git reset --hard buildthis &&
		build-flashrom -s ${repo_dir} $@";
	#git branch -r -d buildbot/buildthis
}