"Michael S. Tsirkin" <mst@xxxxxxxxxx> writes: > Looks like pull requests no longer work for me on linux. Wasn't "does not seem to find head" was very much deliberate? Linus's patch wanted the users to explicitly tell the tool, without tool trying to be too helpful and risking to guess incorrectly. > Some other trees (non-linux) work fine but I didn't yet > check whether it's the local or the remote tree that's > at issue. > > Or maybe it's a configuration change that I missed? > > Note: I have > [push] > default = matching > configured in .gitconfig. This should not affect anything in request-pull, I think. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html