pull failing due to deleted .buildinfo files

2013-10-25 Thread Simon Marlow
I just tried to pull into my tree, and encountered several failures of this kind: == libraries/process: running git pull --rebase Cannot pull with rebase: You have unstaged changes. Please commit or stash them. But I have made no local changes, at least not on purpose. Git reports that: #

Re: pull failing due to deleted .buildinfo files

2013-10-25 Thread Herbert Valerio Riedel
On 2013-10-25 at 11:54:29 +0200, Simon Marlow wrote: [...] # Changes not staged for commit: # deleted:process.buildinfo I know how to revert this and keep going, but it seems that the build shouldn't be deleting files in the repo. Anyone know anything about this? The problem