wf4ever/ro-manager — pull request #10 by piotrholubowicz (2012-11-08 10:24:49+00:00)
Title: RO push improvement

This is a change to RO push that makes the RO manager download the remote manifest only a few times instead of after every resource is pushed.

Plus, 2 commits that improve the code quality.