Provided by: git-annex_7.20190912-1_amd64 bug

NAME

       git-annex-ungroup - remove a repository from a group

SYNOPSIS

       git annex ungroup repository groupname

DESCRIPTION

       Removes a repository from a group.

SEE ALSO

       git-annex(1)

       git-annex-group(1)

AUTHOR

       Joey Hess <id@joeyh.name>

                                                                             git-annex-ungroup(1)