git-annex-ungroup - remove a repository from a group
Contents
Description
Removes a repository from a group.
Name
git-annex-ungroup - remove a repository from a group
Options
The git-annex-common-options(1) can be used.
See Also
git-annex(1) git-annex-group(1)
Synopsis
git annex ungroup repositorygroupname