Updating GitHub Mirrors?

[Sebastian Huber]

----- Am 4. Jul 2024 um 20:18 schrieb  oss at c-mauderer.de:

> Hello Joel and Sebastian,
> 
> Am 04.07.24 um 19:38 schrieb Sebastian Huber:
>> ----- Am 4. Jul 2024 um 19:30 schrieb Joel Sherrill joel at rtems.org:
>> 
>>> Thanks. What times?
>> 
>> About 7 minutes past 4, 12, and 20 CEST.
>> 
> 
> I'm not entirely sure how the mirroring is currently set upm, but it
> sounds like a cron job. Shouldn't our new gitlab support that out of the
> box:
> 
> https://docs.gitlab.com/ee/user/project/repository/mirror/push.html

Yes, it is a cron job. It was meant to be a temporary solution, see also:

https://gitlab.rtems.org/rtems/rtos/rtems/-/issues/3448

-- 
embedded brains GmbH & Co. KG
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber at embedded-brains.de
phone: +49-89-18 94 741 - 16
fax:   +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier:
https://embedded-brains.de/datenschutzerklaerung/