----- Am 4. Jul 2024 um 20:18 schrieb o...@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 j...@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.hu...@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/ _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel