From: David Bremner Date: Sun, 15 May 2022 16:47:54 +0000 (-0300) Subject: CLI/git: rename environment variables. X-Git-Tag: 0.37_rc0~93 X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=b0105841638e3681e51577128b0a990ae7f815dc;hp=b0105841638e3681e51577128b0a990ae7f815dc;p=notmuch CLI/git: rename environment variables. Although the code required to support both new and old environment variables is small, it complicates the semantics of configuration, and make the documentation harder to follow. ---