On Tue, Nov 24, 2015 at 01:57:11PM +0100, Marc-André Lureau wrote: > 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. I assume you mean getting someone to set up https://mcwhirter.com.au/craige/blog/2014/Post_Receive_Git_Hook_to_Push_to_Github/ on freedesktop.org git repositories ? Christophe
Attachment:
signature.asc
Description: PGP signature
_______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx http://lists.freedesktop.org/mailman/listinfo/spice-devel