pull failing due to deleted .buildinfo files

Herbert Valerio Riedel hvr at gnu.org
Fri Oct 25 12:01:10 UTC 2013

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

More information about the ghc-devs mailing list