b184fc490a
Sometimes users would get confused because an option they were looking for was not mentioned on a subcommand's man page, and they had not noticed that the main git-annex man page had a list of common options. This change lets each subcommand mention the common options, similarly to how the matching options are handled. This commit was sponsored by Svenne Krap on Patreon.
27 lines
399 B
Markdown
27 lines
399 B
Markdown
# NAME
|
|
|
|
git-annex ungroup - remove a repository from a group
|
|
|
|
# SYNOPSIS
|
|
|
|
git annex ungroup `repository groupname`
|
|
|
|
# DESCRIPTION
|
|
|
|
Removes a repository from a group.
|
|
|
|
# OPTIONS
|
|
|
|
* The [[git-annex-common-options]](1) can be used.
|
|
|
|
# SEE ALSO
|
|
|
|
[[git-annex]](1)
|
|
|
|
[[git-annex-group]](1)
|
|
|
|
# AUTHOR
|
|
|
|
Joey Hess <id@joeyh.name>
|
|
|
|
Warning: Automatically converted into a man page by mdwn2man. Edit with care.
|