From d1c36ff84817fdb4b2e4bfdca2e80ffaa29a1a65 Mon Sep 17 00:00:00 2001 From: Fabio Erculiani Date: Thu, 18 Jul 2013 19:01:55 +0200 Subject: [PATCH] [eit] update man page for eit-push(1) --- server/doc/mansrc/eit-push.1.txt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/server/doc/mansrc/eit-push.1.txt b/server/doc/mansrc/eit-push.1.txt index e69d27479..9c3249c57 100644 --- a/server/doc/mansrc/eit-push.1.txt +++ b/server/doc/mansrc/eit-push.1.txt @@ -11,7 +11,8 @@ eit-push - push repository packages and metadata SYNOPSIS -------- -eit push [-h] [--conservative] [--quick] [--all | --as ] [--pretend] +eit push [-h] [--conservative] [--quick] [--force] [--all | --as ] + [--pretend] [] @@ -43,6 +44,9 @@ OPTIONAL ARGUMENTS *--quick*:: no stupid questions +*--force*:: + force push in case of QA errors + *--all*:: push all the repositories