| | |
| | | # The shortest frequency allowed is every 5 minutes
|
| | | # Decimal frequency values are cast to integers
|
| | | # Frequency values may be specified in mins, hours, or days
|
| | | # Values that can not be parsed default to *federation.defaultFrequency*
|
| | | # Values that can not be parsed or are unspecified default to *federation.defaultFrequency*
|
| | | #
|
| | | # folder:
|
| | | # if blank, the folder is *git.repositoriesFolder*
|
| | | # if unspecified, the folder is *git.repositoriesFolder*
|
| | | # if specified, the folder is relative to *git.repositoriesFolder*
|
| | | #
|
| | | # bare:
|
| | | # if true, each repository will be created as a *bare* repository and will not
|
| | | # have a working directory.
|
| | | #
|
| | | # if false, each repository will be created as a normal repository suitable
|
| | | # for local work.
|
| | | #
|
| | | # mirror:
|
| | | # if true, each repository HEAD is reset to *origin/master* after each pull.
|
| | | # The repository will be flagged *isFrozen* after the initial clone.
|
| | | #
|
| | | # if false, each repository HEAD will point to the FETCH_HEAD of the initial
|
| | | # clone from the origin until pushed to or otherwise manipulated.
|
| | | #
|
| | | # mergeAccounts:
|
| | | # if true, remote accounts and their permissions are merged into your
|
| | |
| | | # notified by email of pull failures
|
| | | #
|
| | | # include and exclude:
|
| | | # space-separated list of repositories to include or exclude from pull
|
| | | # Space-delimited list of repositories to include or exclude from pull
|
| | | # may be * wildcard to include or exclude all
|
| | | # may use fuzzy match (e.g. org.eclipse.*)
|
| | |
|
| | |
| | | #federation.example1.token = 6f3b8a24bf970f17289b234284c94f43eb42f0e4
|
| | | #federation.example1.frequency = 120 mins
|
| | | #federation.example1.folder =
|
| | | #federation.example1.bare = true
|
| | | #federation.example1.bare = true |
| | | #federation.example1.mirror = true
|
| | | #federation.example1.mergeAccounts = true
|