Re: Developer access

2020-09-14 Thread Jonas Hahnfeld
Hi Michael, sorry that it took me so long to get back to you. As I wrote off-list, I'm in favor of getting you on the team and, as I didn't hear any objections, I went ahead and invited you to the group. Regards Jonas Am Samstag, den 12.09.2020, 23:49 +0200 schrieb Michael Käppler: > Hi all, > I

Re: Developer access

2020-09-14 Thread Jean Abou Samra
Le 12/09/2020 à 23:49, Michael Käppler a écrit : Hi all, I'd like to request 'Developer' rights for Gitlab to be able to push branches and merge MRs on my own. Does anybody have objections to this? I was given access with technical skills that were way below yours, it seems. Jean

Re: fix-docsize.sh errors in make doc

2020-09-14 Thread David Kastrup
Michael Käppler writes: > Hi Jean, > > Am 12.09.2020 um 13:28 schrieb Jean Abou Samra: >> Hi, >> >> Towards the end of the process, `make doc` outputs warnings coming >> from fix-docsize.sh. This occurs in CI too. Any ideas? >> >> Best, >> Jean > > IIUC this is simply due to the fact that the men

Re: fix-docsize.sh errors in make doc

2020-09-14 Thread Han-Wen Nienhuys
On Mon, Sep 14, 2020 at 12:21 PM Michael Käppler wrote: > > Hi Jean, > > Am 12.09.2020 um 13:28 schrieb Jean Abou Samra: > > Hi, > > > > Towards the end of the process, `make doc` outputs warnings coming > > from fix-docsize.sh. This occurs in CI too. Any ideas? > > > > Best, > > Jean > > IIUC thi

Re: fix-docsize.sh errors in make doc

2020-09-14 Thread Michael Käppler
Hi Jean, Am 12.09.2020 um 13:28 schrieb Jean Abou Samra: Hi, Towards the end of the process, `make doc` outputs warnings coming from fix-docsize.sh. This occurs in CI too. Any ideas? Best, Jean IIUC this is simply due to the fact that the mentioned manuals are not translated and therefore ar