[petsc-dev] time since merge with next

[Barry Smith]

  Jed,

    Can you do your magic so that for each line it prints afterwards the date of the merge with next or the time since it was merged with next? Maybe other stuff like if it has been modified since being pushed to next? Maybe sort on time since merged to next?

~/Src/petsc/src/snes/examples/tutorials  barry/saws-options $ comm -12 <(git branch -r --merged next | sort) <(git branch -r --no-merged master | sort)
  origin/balay/cmake-use_make_j
  origin/balay/fix-retrieval-permissions
  origin/barry/fix-complex-examples
  origin/barry/fix-examples
  origin/barry/fix-more-examples
  origin/barry/fix-mpiint-petscoptionsgetint
  origin/barry/fix-singleton-viewer
….