New plugin for git-repo (https://code.google.com/p/git-repo/)

Signed-off-by: Gaetan Semet <gaetan@xeberon.net>
Merge pull request #1865 from Stibbons/gsemet_push_repo_plugin

New plugin for git-repo (https://code.google.com/p/git-repo/)