Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
This is just to tell if there's anything worth committing after a merge
is complete. If not, then it assumes it's been a) merged upstream or b)
empty in the first place (very unlikely).
--
Eric Wong
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html