Infrastructure | github mirror is out of sync (#240)



Title: GitLab

Steffen Kuhn created an issue:

hey there, I've been using the github mirror to pull in the latest code, but that doesn't work anymore. Can you please set up some magic to make them live in sync and harmony again, please? :-)



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]