wf4ever/ro-manager — pull request #9 by piotrholubowicz (2012-11-08 10:15:25+00:00)
Title: Push improved

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.