[Spice-devel] github mirror

[Victor Toso]

Hey!

On Tue, Nov 24, 2015 at 01:57:11PM +0100, Marc-André Lureau wrote:
> Hi,
>
> Recently, I was given admin acces to SPICE github mirror. I have done
> a bit of cleanup and update, and started adding travis integration. I
> have a few travis patches for libcacard and spice that I am going to
> send.
>
> Currently, the mirroring is done by using a simple clone script
> manually (https://github.com/SPICE/github-scripts/blob/master/clone.sh).
> In the future it would be nice to have a hook in fdo git server to
> push new changes, I am not sure yet how to get there, any help
> appreciated.
>
> If you want to be admin, ask Shumen or me, and we should be able to
> give you that.
>
> cheers

I created a mirror on gitlab as well [0]. It was quite easy to mirror
freedesktop from it.

[0] https://gitlab.com/u/spice

If the updates on github are done manually, I could set up gitlab's user
to do it. Gitlab would work as a bridge for github. Gitlab has some sort
of cron job to pull/push content every hour.

Let me know if you are interested.

  toso
>
> --
> Marc-André Lureau
> _______________________________________________
> Spice-devel mailing list
> Spice-devel at lists.freedesktop.org
> http://lists.freedesktop.org/mailman/listinfo/spice-devel