On Fri, Jul 10, 2015 at 11:07:32AM -0400, Frediano Ziglio wrote: > Mainly a copy from spice-server to spice-protocol. Could you move the history > of the files too ?
I mention this in the log: > > This commit is just a placeholder so that a patch series can be sent. > > The actual commit is a merge commit of a repository created with git > > filter-branch on spice-common to only keep the relevant files: > > > > git filter-branch \ > > --prune-empty \ > > --index-filter ' > > git ls-tree -z -r --name-only --full-tree $GIT_COMMIT \ > > | grep -z -v "^python_modules/" \ > > | grep -z -v "^spice.proto" \ > > | grep -z -v "^spice1.proto" \ > > | grep -z -v "^spice_codegen.py" \ > > | xargs -0 -r git rm -f --cached -r > > ' \ > > -- \ > > --all > > > > git filter-branch --force \ > > --prune-empty > > --index-filter ' > > git rm -f spice-protocol --cached --ignore-unmatch > > ' \ > > -- \ > > --all
pgpHuadHmUJ0g.pgp
Description: PGP signature
_______________________________________________ Spice-devel mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/spice-devel
