[PHP-DEV] Re: Github Mirrors of git.php.net/docs

On 29.12.2020 at 11:35, Andreas Heigl wrote: > After Nikitas merge I transfered the changes to the euk2-box and since > the 27th of December 2020 16:30H UTC the PHP-documentation is building > from git instead of SVN. \o/ > Additionally I just realized that the link on each docs-page to "edit" >

[PHP-DEV] Re: Github Mirrors of git.php.net/docs

Hey Lists, hey Nikita. Just to give some feedback. Am 27.12.20 um 14:59 schrieb Nikita Popov: > On Sun, Dec 27, 2020 at 11:30 AM Andreas Heigl > wrote: > [...] > I don't think fixing revcheck in advance is particularly important, I > just want to retain the current for