Re: Re[4]: How to manage github pull requests?
[email protected] ("G. P. B.")
| Newsgroups | php.doc |
|---|---|
| Message-ID | <CAFPFaML20mnRwhgMb9S_mrg4msfFs-XTQ6iBQHqXT0BHk+LQqw@mail.gmail.com> |
On Wed, 20 Jan 2021 at 23:11, André L F S Bacci <[email protected]> wrote: > I am particularly sad with the new revcheck style (multiple pages, 100% > wide tables). This may be mobile friendly, but I immensely like the old > style static one page format, to the point of running the command line > version every day (locally via cron). > > Just a hint for what streamlined / cruft may mean. > > André > I haven't made a custom CSS, that's one of the things which should be done. I just linked to the current CSS files (shared.php.net/styles/doc.css) and called it job done for a W.I.P. and minimal working setup. So for all intent and purposes the styling of the website needs to actually be done. In other news, I've updated it once again so that the diffs are linked correctly to git.php.net so to only see the file diff. And I've also managed to automatically create a patch for empty diff between different revision (well at least it seems to work pretty well). The builds are also now scheduled to be run once a day and can still be found here: http://doc.php.gpb.moe/tools/revcheck/ George P. Banyard >