git --paginate: do not commit pager choice too early