Dear infra, we (the vmware team) have messed this up often enough, so please install the needed hooks so the gentoo.org proj/vmware overlay is automaticall mirrored and force-pushed to the github gentoo/vmware repo (same mechanism as our main tree). THX!
I'll handle this near 21 localtime, when i get home. I also need to write some instructions on the wiki.
I've added Larry the Cow to the collaborators in the repo (write access), and added gentoo.mirror.url to repository config. Please do a test push to confirm that it works. I presume you know the implications. --mirror --force is used, so all changes on github end will be discarded on the next git.g.o push, including extra branches and tags. Non-standard refs (pull requests, notes) won't be harmed.
Sorry something seems to be still missing. Just pushed to the repo on g.o and did not observe any change on github. Also no message referring to github during the push (as we see it when pushing to the main tree.) huettel@porto ~/Gentoo/vmware $ git push Zähle Objekte: 5, Fertig. Delta compression using up to 4 threads. Komprimiere Objekte: 100% (5/5), Fertig. Schreibe Objekte: 100% (5/5), 1.36 KiB | 0 bytes/s, Fertig. Total 5 (delta 4), reused 0 (delta 0) To git+ssh://git@git.gentoo.org/proj/vmware.git 268c44b..674f4ba master -> master huettel@porto ~/Gentoo/vmware $
I'm sorry. I did set the repository URL for the hook but forgot to enable it. Please try now.
Works fine, thanks!