Re: pull failing due to deleted .buildinfo files

On 2013-10-25 at 11:54:29 +0200, Simon Marlow wrote:

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:

# 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?

sorry, that's my fault; I'll fix this ASAP