1: From: Chris Warburton 2: Date: Sat, 22 Jul 2017 15:46:51 +0100 3: State: new 4: Subject: Add github links to repo pages 5: Message-Id: <fefdf60839d9500f-0-artemis@nixos> 6: 7: There may be some minor changes in the names, but this might be overcome 8: by a simple lookup table for those cases.