group, ungroup: New commands to indicate groups of repositories.
This commit is contained in:
parent
cf858190a5
commit
2a96b1aab3
10 changed files with 174 additions and 0 deletions
|
@ -67,6 +67,14 @@ Example:
|
|||
|
||||
Repositories not listed are semi-trusted.
|
||||
|
||||
## `group.log`
|
||||
|
||||
Used to group repositories together.
|
||||
|
||||
The file format is one line per repository, with the uuid followed by a space,
|
||||
and then a space-separated list of groups this repository is part of,
|
||||
and finally a timestamp.
|
||||
|
||||
## `aaa/bbb/*.log`
|
||||
|
||||
These log files record [[location_tracking]] information
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue