]> git.scottworley.com Git - pinch/commitdiff
Record release name
authorScott Worley <scottworley@scottworley.com>
Fri, 10 Apr 2020 07:10:42 +0000 (00:10 -0700)
committerScott Worley <scottworley@scottworley.com>
Fri, 10 Apr 2020 07:10:42 +0000 (00:10 -0700)
pinch.py

index 71496a317a48366ca119cf7dba7da86ba2987931..6ad2cdccbd991d596e7974f563d7844218461d96 100644 (file)
--- a/pinch.py
+++ b/pinch.py
@@ -415,6 +415,7 @@ def pin(args: argparse.Namespace) -> None:
         channel = make_channel(config[section])
         if 'channel_url' in config[section]:
             pin_channel(v, channel)
+            config[section]['name'] = channel.release_name
             config[section]['tarball_url'] = channel.table['nixexprs.tar.xz'].absolute_url
             config[section]['tarball_sha256'] = channel.table['nixexprs.tar.xz'].digest
         else: