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

..

commands

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

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

__init__.py

[eit] first chunk of code for the new server-side repository management toolkit (greatly inspired to git)

2011-10-17 11:26:40 +02:00

colorful.py

[eit.colorful] drop unused imports

2011-10-20 19:41:47 +02:00

main.py

[eit] implement initial bash-completion support

2011-10-28 19:47:19 +02:00