Re: [GIT PULL] arch: remove obsolete architecture ports

Linus Torvalds writes: (Summary) On Mon, Apr 2, 2018 at 12:17 AM, Arnd Bergmann <arnd@arndb.de> wrote:

[...]

early in the merge window or really late.
Ok, I've been pulling arch updates, so it went in now. Side note: the most concise yet useful form of diff I found for your pull request was this:
pull request was this:

    git diff -M --stat=5000 --summary merge^..merge |

So it shows stuff that had actual modifications, and perhaps more
importantly, it still shows the final summary, which matches yours:

 2498 files changed, 95 insertions(+), 467668 deletions(-)

which is pretty nice to see.