Re: [PATCH 0/2] diff --no-index pager cleanups

Jeff King [off-list ref] writes:

While testing Tim's broken case, I noticed a few annoyances with the
pager handling. These patches should clear them up.

  [1/2]: fix pager.diff with diff --no-index
  [2/2]: do not run pager with diff --no-index --quiet

Both look sane to me.  Thanks.