Fabio Erculiani 9e7055f6be [entropy.server,eit] split push from pull (in repo sync) ...

From now on, any push request will not have the side effect of
pulling new repo metadata if required, and vice versa.

2012-01-24 15:08:32 +01:00

6.5 KiB

Raw Blame History

View Raw