----- Am 4. Jul 2024 um 20:18 schrieb [email protected]: > Hello Joel and Sebastian, > > Am 04.07.24 um 19:38 schrieb Sebastian Huber: >> ----- Am 4. Jul 2024 um 19:30 schrieb Joel Sherrill [email protected]: >> >>> 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: [email protected] 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 [email protected] http://lists.rtems.org/mailman/listinfo/devel
