On Thu, Apr 6, 2017 at 3:00 PM, Tim Rühsen <tim.rueh...@gmx.de> wrote: > On 04/06/2017 05:00 AM, Nikos Mavrogiannopoulos wrote: >> Hi, >> I've setup a mirror of the gitlab repository at github, so we are able >> to take advantage of travis as well at some point. >> >> It setup to automatically update every day. It is at: >> https://github.com/libidn/libidn2 > > That is great ! > > How did configure the daily pull / push / clone ?
gitlab does that transparently. Check Settings -> Repository -> Remote mirror repository. regards, Nikos _______________________________________________ Help-libidn mailing list Help-libidn@gnu.org https://lists.gnu.org/mailman/listinfo/help-libidn
