From ef2a14be190f7162e85e9bdd44dd45bd9ddfe391 Mon Sep 17 00:00:00 2001
From: Kevin Quick <kquick@galois.com>
Date: Fri, 25 Sep 2020 08:08:27 -0700
Subject: [PATCH] Fix reference to older name for access-tokens config value.

---
 src/libstore/globals.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/libstore/globals.hh b/src/libstore/globals.hh
index 646422399..959ebe360 100644
--- a/src/libstore/globals.hh
+++ b/src/libstore/globals.hh
@@ -890,7 +890,7 @@ public:
           Example `~/.config/nix/nix.conf`:
 
           ```
-          personal-access-tokens = "github.com=23ac...b289 gitlab.mycompany.com=PAT:A123Bp_Cd..EfG gitlab.com=OAuth2:1jklw3jk"
+          access-tokens = "github.com=23ac...b289 gitlab.mycompany.com=PAT:A123Bp_Cd..EfG gitlab.com=OAuth2:1jklw3jk"
           ```
 
           Example `~/code/flake.nix`: