missing distfiles

[Jan Palus]

On 24.11.2025 23:30, Jan Palus wrote:
> from some manual checking it appears all of distfiles fetched between
> 2025-07-16 and 2025-11-21 are missing. is this something to be expected due to
> recent issues?

on a related note fetchsrc_request.sh script does not seem to work. did:

$ ./fetchsrc_request.sh mediastreamer
Requesting mediastreamer:refs/heads/master via /usr/sbin/sendmail

a couple of times but source is not getting fetched.