[eit] update man page for eit-push(1)

This commit is contained in:
Fabio Erculiani
2013-07-18 19:01:55 +02:00
parent e727ec7719
commit d1c36ff848

View File

@@ -11,7 +11,8 @@ eit-push - push repository packages and metadata
SYNOPSIS
--------
eit push [-h] [--conservative] [--quick] [--all | --as <repo>] [--pretend]
eit push [-h] [--conservative] [--quick] [--force] [--all | --as <repo>]
[--pretend]
[<repo>]
@@ -43,6 +44,9 @@ OPTIONAL ARGUMENTS
*--quick*::
no stupid questions
*--force*::
force push in case of QA errors
*--all*::
push all the repositories