[commits] Horde branch master updated. 40c24abf496a433e1a082cfaaedcf26193647f23

[Michael J. Rubinsky]

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

from: 759da029681504198859fb48df5ef6e8e840e5d4

40c24ab Sleep after creating repo via API.

Summary: http://github.com/horde/horde/compare/759da029681504198859fb48df5ef6e8e840e5d4...40c24abf496a433e1a082cfaaedcf26193647f23

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

commit 40c24abf496a433e1a082cfaaedcf26193647f23
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Sun May 7 19:48:32 2017 -0400

    Sleep after creating repo via API.
    
    Give a chance for github to make new repo available. There were
    many repositories that were empty because it wasn't available yet
    when the push command was executed.
    
    Also, don't exit on every error, but notify of failures at end.

 framework/bin/horde-git-split-all | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

http://github.com/horde/horde/commit/40c24abf496a433e1a082cfaaedcf26193647f23