From f7fa362627ed4aedfae1f28ad84beac7d264d668 Mon Sep 17 00:00:00 2001
From: Ali Abrar <aliabrar@gmail.com>
Date: Fri, 6 Nov 2020 10:49:45 -0500
Subject: [PATCH] ci: Bump reflex-platform pin

---
 dep/reflex-platform/default.nix | 7 +------
 dep/reflex-platform/github.json | 7 ++++---
 dep/reflex-platform/thunk.nix   | 9 +++++++++
 3 files changed, 14 insertions(+), 9 deletions(-)
 create mode 100644 dep/reflex-platform/thunk.nix

diff --git a/dep/reflex-platform/default.nix b/dep/reflex-platform/default.nix
index 7a04778..2b4d4ab 100644
--- a/dep/reflex-platform/default.nix
+++ b/dep/reflex-platform/default.nix
@@ -1,7 +1,2 @@
 # DO NOT HAND-EDIT THIS FILE
-import ((import <nixpkgs> {}).fetchFromGitHub (
-  let json = builtins.fromJSON (builtins.readFile ./github.json);
-  in { inherit (json) owner repo rev sha256;
-       private = json.private or false;
-     }
-))
+import (import ./thunk.nix)
\ No newline at end of file
diff --git a/dep/reflex-platform/github.json b/dep/reflex-platform/github.json
index 1cd7cdc..23e7846 100644
--- a/dep/reflex-platform/github.json
+++ b/dep/reflex-platform/github.json
@@ -1,7 +1,8 @@
 {
   "owner": "reflex-frp",
   "repo": "reflex-platform",
-  "branch": "master",
-  "rev": "510b990d0b11f0626afbec5fe8575b5b2395391b",
-  "sha256": "09cmahsbxr0963wq171c7j139iyzz49hramr4v9nsf684wcwkngv"
+  "branch": "aa-bump-some",
+  "private": false,
+  "rev": "fd5acecb50474f795734db9fb924cc3b2fd2b508",
+  "sha256": "0wsdd67g42klsf9n3pxb3pndjdz36nzf8gp7pfm8j6nyyy2qribk"
 }
diff --git a/dep/reflex-platform/thunk.nix b/dep/reflex-platform/thunk.nix
new file mode 100644
index 0000000..bbf2dc1
--- /dev/null
+++ b/dep/reflex-platform/thunk.nix
@@ -0,0 +1,9 @@
+# DO NOT HAND-EDIT THIS FILE
+let fetch = { private ? false, fetchSubmodules ? false, owner, repo, rev, sha256, ... }:
+  if !fetchSubmodules && !private then builtins.fetchTarball {
+    url = "https://github.com/${owner}/${repo}/archive/${rev}.tar.gz"; inherit sha256;
+  } else (import <nixpkgs> {}).fetchFromGitHub {
+    inherit owner repo rev sha256 fetchSubmodules private;
+  };
+  json = builtins.fromJSON (builtins.readFile ./github.json);
+in fetch json
\ No newline at end of file