Update replication plugin

* Fix replication at start-up
* Support replication of HEAD updates
* Splitting replication queue from config.
* Extra info log on replication 'git push' to remote

Change-Id: I57e41ef1b8b0c63e60ee202172c944a0d3f6a409
Signed-off-by: Edwin Kempin <edwin.kempin@sap.com>
This commit is contained in:
Edwin Kempin 2013-11-20 14:50:42 +01:00
parent b107d3d3a4
commit 82338198bb

@ -1 +1 @@
Subproject commit 5ee79cc5355e24bee7d38f697aa834e1bd6e0e7d
Subproject commit 23b83fb7c1d62d436a66afd3194a3d653956b347