[commits] git-tools branch master updated. 707fc22be17ec43f98ae737f1640866eb794bc6a

Sat Jan 5 15:22:59 UTC 2019

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

from: 4595e4ceccda67eb2c35e7c21d64a46720036077

707fc22 Fix determining if a repository should be included in a git command.

Summary: https://github.com/horde/git-tools/compare/4595e4ceccda...707fc22be17e

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

commit 707fc22be17ec43f98ae737f1640866eb794bc6a
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Sat, 05 Jan 2019 10:21:20 -0500

Fix determining if a repository should be included in a git command.

 M lib/Action/Git/Command.php

https://github.com/horde/git-tools/commit/707fc22be17ec43f98ae737f1640866eb794bc6a