[commits] git-tools branch master updated. 8e7967b069ca1de19a7190dca791b9c77a815630

[Michael J. Rubinsky]

The branch "master" has been updated.
The following is a summary of the commits.

from: 6ecea4ed45ec6af268ff847fa579745588f16437

8e7967b Fix updating repositories via git pull.

Summary: https://github.com/horde/git-tools/compare/6ecea4ed45ec...8e7967b069ca

-----------------------------------------------------------------------

commit 8e7967b069ca1de19a7190dca791b9c77a815630
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Sun, 14 Jan 2018 20:04:05 -0500

Fix updating repositories via git pull.

 M lib/Action/Git/Pull.php

https://github.com/horde/git-tools/commit/8e7967b069ca1de19a7190dca791b9c77a815630