diff options
| -rw-r--r-- | documentation/ref-manual/variables.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/documentation/ref-manual/variables.rst b/documentation/ref-manual/variables.rst index cb082cbdbc..0d2d255edb 100644 --- a/documentation/ref-manual/variables.rst +++ b/documentation/ref-manual/variables.rst | |||
| @@ -6878,6 +6878,11 @@ system and gives an overview of their function and contents. | |||
| 6878 | service <dev-manual/packages:working with a pr service>`. You can | 6878 | service <dev-manual/packages:working with a pr service>`. You can |
| 6879 | set :term:`PRSERV_HOST` to other values to use a remote PR service. | 6879 | set :term:`PRSERV_HOST` to other values to use a remote PR service. |
| 6880 | 6880 | ||
| 6881 | :term:`PRSERV_UPSTREAM` | ||
| 6882 | This variable can be used to specify an upstream PR server for the local | ||
| 6883 | PR server to connect to, in the form of ``host:port``. | ||
| 6884 | |||
| 6885 | This makes it possible to implement local fixes to an upstream package. | ||
| 6881 | 6886 | ||
| 6882 | :term:`PSEUDO_IGNORE_PATHS` | 6887 | :term:`PSEUDO_IGNORE_PATHS` |
| 6883 | A comma-separated (without spaces) list of path prefixes that should be ignored | 6888 | A comma-separated (without spaces) list of path prefixes that should be ignored |