version 3.2 patched by GitLab

redis abandoned for now...

it's a lot SLOWER than the old method for batch mode, although it is
definitely faster for individual mode (0.28 second -> 0.15 second)

we will see if batch mode in conventional gitolite can be sped up by
removing the whole split_conf array!