pull failing due to deleted .buildinfo files

Simon Marlow marlowsd at gmail.com
Fri Oct 25 09:54:29 UTC 2013

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 

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


More information about the ghc-devs mailing list