Tried to add a Pull-snippet, but failed, see also http://stackoverflow.com/questions/17979660/jgit-pull-noheadexception