gitweb: Empty patch for merge means trivial merge, not no differences