mozilla/moz-git-tools — pull request #25 by simonlindholm (2014-10-21 22:31:46+00:00)
Title: Don't use a pager for 'git log' in git-push-to-hg

Since the output is meant to be printed to the terminal, and with non-standard pager settings it might not be (e.g. for me it opens an interactive less session).