git-annex-ungroup man page

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-group(1)

Author

Joey Hess <id@joeyh.name>

Referenced By

git-annex(1), git-annex-group(1).