Re: PLD mail/requests problems

2022-01-18 Thread Arkadiusz Miśkiewicz via pld-devel-en
On 18.01.2022 20:16, Jakub Bogusz wrote: > On Tue, Jan 18, 2022 at 07:25:16PM +0100, Jan Rękorajski wrote: >> On Tue, 18 Jan 2022, Arkadiusz Miśkiewicz via pld-devel-en wrote: >> >>> On 17.01.2022 18:37, Jakub Bogusz wrote: On Sun, Jan 16, 2022 at 09:41:05PM +0100, Jakub Bogusz wrote: > -

Re: PLD mail/requests problems

2022-01-18 Thread Jakub Bogusz
On Tue, Jan 18, 2022 at 07:25:16PM +0100, Jan Rękorajski wrote: > On Tue, 18 Jan 2022, Arkadiusz Miśkiewicz via pld-devel-en wrote: > > > On 17.01.2022 18:37, Jakub Bogusz wrote: > > > On Sun, Jan 16, 2022 at 09:41:05PM +0100, Jakub Bogusz wrote: > > >> - distfiles fetch request don't seem to be

Re: PLD mail/requests problems

2022-01-18 Thread Jan Rękorajski
On Tue, 18 Jan 2022, Arkadiusz Miśkiewicz via pld-devel-en wrote: > On 17.01.2022 18:37, Jakub Bogusz wrote: > > On Sun, Jan 16, 2022 at 09:41:05PM +0100, Jakub Bogusz wrote: > >> - distfiles fetch request don't seem to be handled (since a few days) or no > >> mail report is sent (both for

Re: PLD mail/requests problems

2022-01-17 Thread Jakub Bogusz
On Sun, Jan 16, 2022 at 09:41:05PM +0100, Jakub Bogusz wrote: > - distfiles fetch request don't seem to be handled (since a few days) or no > mail report is sent (both for requester nor pld-commit list) It seems distfiles are not fetching anything new at all (both by git or manual mail