On Thu, Apr 6, 2017 at 3:00 PM, Tim Rühsen <[email protected]> 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 [email protected] https://lists.gnu.org/mailman/listinfo/help-libidn
