Re: svn.php.net some issues

On Fri, 28 Aug 2020 at 14:49, Andreas Heigl <andreas@heigl.org> wrote: > Hey all... > > Perhaps this should not be a temporary workaround, as we are currently > working on the move of the documentation to SVN and IIRC there is > currently no email-system in place for new pushes to the master-branch. > > Or am I wrong there? Perhaps salathe can shed some light here.... > There are no commit emails coming from Git for the docs repos only because they're turned off in the configuration. I was hoping that "oh, the svn server can't reach the mail server?" would be something that could be fixed within minutes / hours once reported. > > Cheers > > Andreas > > Am 28.08.20 um 15:44 schrieb Yoshinari Takaoka: > > On Fri, 21 Aug 2020 10:03:39 +0200 > > "Christoph M. Becker" <cmbecker69@gmx.de> wrote: > > > >> Hopefully someone from the systems team will cater to the mail issue > soonish. > > > > For temporary workaround mail issue, I wrote doc-en update checker per > commit > > based on github mirror history. > > > > https://github.com/mumumu/phpdoc_en_update_checker > > > > Patches welcome. > > > > Best Regards. > > > > -- > ,,, > (o o) > +---------------------------------------------------------ooO-(_)-Ooo-+ > | Andreas Heigl | > | mailto:andreas@heigl.org N > 50°22'59.5" E 08°23'58" | > | http://andreas.heigl.org > http://hei.gl/wiFKy7 | > +---------------------------------------------------------------------+ > | http://hei.gl/root-ca > | > +---------------------------------------------------------------------+ > >