diff --git a/dev-notes.mkd b/dev-notes.mkd
index 169a7f6..2d6208e 100644
--- a/dev-notes.mkd
+++ b/dev-notes.mkd
@@ -25,6 +25,9 @@ In general, the following environment variables should always be available:
 Commands invoked by a remote client will also have `GL_USER` set.  Hooks will
 have `GL_REPO` also set.
 
+A special form of the [option][options] syntax can be used to set
+[repo-specific environment variables][rsev].
+
 Finally, note that triggers get a lot of relevant information from gitolite as
 arguments; see [here][triggers] for details.
 
@@ -170,3 +173,53 @@ handles that.
 Finally, as an exercise for the reader, consider how you would create a brand
 new env var that contains the *comment* field of the ssh pubkey that was used
 to gain access, using the information [here][kfn].
+
+## #rsev appendix 2: repo-specific environment variables
+
+A special form of the [option][options] syntax can be used to set
+repo-specific environment variables that are visible to gitolite triggers and
+any git hooks you may install.
+
+For example, let's say you installed a post-update hook that initiates a CI
+job.  By default, of course, this hook will be active for *all*
+gitolite-managed repos.  However, you only want it to run for some specific
+repos, say r1, r2, and r4.
+
+To do that, first add this to the gitolite.conf:
+
+    repo r1 r2 r4
+        option ENV.CI = 1
+
+This creates an environment variable called `GL_OPTION_CI` with the value 1,
+before any trigger or hook is invoked.
+
+Note: option names *must* start with `ENV.`, followed by a seqence of
+characters composed of alphas, numbers, and the underscore character.
+
+Now the hook running the CI job can easily decide what to do:
+
+    # exit if $GL_OPTION_CI is not set
+    [ -z $GL_OPTION_CI ] && exit
+
+    ... rest of CI job code as before ...
+
+Of course you can also do the opposite; i.e. decide that the listed repos
+should *not* run the CI job but all other repos should:
+
+    repo @all
+        option ENV.CI = 1
+
+    repo r1 r2 r4
+        option ENV.CI = ""
+
+(The hook code remains the same as before.)
+
+<font color="gray">Before this feature was added, you could still do this, by
+using the `gitolite git-config` command inside the hook code to test for
+options and configs set for the repo, like:
+
+    if gitolite git-config -q reponame gitolite-options.option-name
+    then
+        ...
+
+The new method is much more convenient, as you can see.</font>
diff --git a/options.mkd b/options.mkd
index 2b91004..f86e891 100644
--- a/options.mkd
+++ b/options.mkd
@@ -8,6 +8,11 @@ gitolite-options.foo = 1', so everything in the [git-config][] page also
 applies here (especially the bit about [overriding config
 values][override_conf]).
 
+**However**, these values are **not** written into git's own `config` file, so
+git (or other programs running `git config`) will not see them.  You can only
+query them using `gitolite git-config`, where they will appear in full in the
+output.
+
 Options are set by repo.  The syntax is very simple:
 
     option  foo.bar     =   baz
@@ -28,6 +33,9 @@ Here are some examples, although this list is not exhaustive:
     allows you to use options instead of special usernames gitweb and daemon
     to determine access for those tools.
 
+  * you can set [repo-specific environment variables][rsev] for triggers and
+    hooks to test, which is very useful.
+
 Here's how to disable an option from a single repo if it was enabled earlier
 in a group (which you might guess from reading the [git-config][] page):