[horde] Git repository split finished

[Dominik Erdmann]

Am 13.12.2017 um 09:26 schrieb Jan Schneider:
> 
> Zitat von Dominik Erdmann <horde_mailing at der-domi.de>:
> 
>> Am 12.12.2017 um 17:04 schrieb Jan Schneider:
>>>
>>> Zitat von Dominik Erdmann <horde_mailing at der-domi.de>:
>>>
>>>> Hey!
>>>>
>>>> Am 09.10.2017 um 09:42 schrieb Jan Schneider:
>>>>
>>>>> If you want to start with a new installation from Git, or want to 
>>>>> migrate to the current Git layout to keep up with updates, please 
>>>>> follow the new instructions at 
>>>>> https://www.horde.org/development/git and 
>>>>> https://github.com/horde/git-tools/blob/master/README.md.
>>>>
>>>> Can you give me a small advice where I find the migration 
>>>> documentation, please? Am I right that it is able to migrate the 
>>>> deprecated repo (https://github.com/horde/horde) to the latest 
>>>> (https://github.com/horde/base)?
>>>>
>>>> Currently, I don't know what to do to migrate the database to the 
>>>> new one.
>>>
>>> Nothing. The code didn't change at all, just how it is organized in git.
>>
>> So, there is no database migration required?
>> And if a database update is required I could run
>>   ./horde/bin/horde-db-migrate
> 
> Well, ./base/bin/horde-db-migrate ;-), but yes.

Oh. Could you update the documentation, please? :-)

https://www.horde.org/development/git#making-development-repos-web-accessible