Guillermo Hidalgo Gadea
@hidalggc
Admin message
Due to an administrative error on Friday, 2025-06-13, an older version of the Git repositories was served from this Gitlab instance on Saturday and Sunday, 2025-06-14-2025-06-15. All changes made on these two days in one of the Git repositories in this instance have been migrated to the current version. If you continue to have problems with your Git repository, e.g. missing commits, we recommend that you either push your local copy or contact us via the RUB Helpdesk. We sincerely apologize for any inconvenience caused.