diff options
Diffstat (limited to 'doc/source/using_config.rst')
| -rw-r--r-- | doc/source/using_config.rst | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/source/using_config.rst b/doc/source/using_config.rst index 71ca64a4a..e696a9d9d 100644 --- a/doc/source/using_config.rst +++ b/doc/source/using_config.rst @@ -59,6 +59,15 @@ configuration: # Add another cache to pull from - url: https://anothercache.com/artifacts:8080 server-cert: another_server.crt + # Add a cache to push/pull to/from, specifying + that you wish to push artifacts in a 'partial' + state (this being without the respective buildtree). + Note that allow-partial-push requires push to also + be set. + - url: https://anothercache.com/artifacts:11003 + push: true + allow-partial-push: true + .. note:: @@ -86,6 +95,14 @@ configuration: # Add another cache to pull from - url: https://ourprojectcache.com/artifacts:8080 server-cert: project_server.crt + # Add a cache to push/pull to/from, specifying + that you wish to push artifacts in a 'partial' + state (this being without the respective buildtree). + Note that allow-partial-push requires push to also + be set. + - url: https://anothercache.com/artifacts:11003 + push: true + allow-partial-push: true .. note:: |