git-annex-ungroup - Man Page
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
Author
Joey Hess <id@joeyh.name>