Message ID | 20200208112018.29819-1-olof@lixom.net (mailing list archive) |
---|---|
Headers | show |
Series | ARM: Changes for 5.6 merge window | expand |
Hi Linus, I completely botched the last generation of pull requests by mis-generating them, and I also missed to push the tags to the server. Here's the fresh set. Apologies for the noise, please merge. For anyone keeping track at home, what happened at my end was: We use a script to generate our pull requests, and it's ran against a tree that is mainline + the merged branches. The flow is usually to merge in a branch, note down any conflicts needing to be resolved, then generate the pull request. Or, sometimes, I do all the merges and then generate the last pull request, reset the tree to HEAD~, second-last pull request, etc. I completely missed changing the tree between the generation this time, so every pull request referenced the right tag, but the diffstat and other contents was botched. It's probably time to automate more of this with scripts at my end, to avoid these manual mistakes. -Olof