Re: [GIT PULL] arch: remove obsolete architecture ports
From: Linus Torvalds
Date: Tue Apr 03 2018 - 00:09:07 EST
On Mon, Apr 2, 2018 at 12:17 AM, Arnd Bergmann <arnd@xxxxxxxx> wrote:
> The series is rather long and conflicts in trivial ways with lots
> of subsystem trees. You probably want to pull it either really
> 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:
git diff -M --stat=5000 --summary merge^..merge | grep '\+'
which shows the diffstat, but skips anything that doesn't have a plus
sign in it. So all the pure removal lines are entirely gone.
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. Closer to hal a million lines gone. (Or,
as the drm people would say "one header file").
You should probably check the end result (I haven't pushed out yet,
doing a few more things and build tests, but it should be out soon).