jobsets.nix: work around GitHub's bad status check semantics

reflex-frp · May 27, 2018 · a4d6796 · a4d6796
1 parent 8d0f350
commit a4d6796
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/jobsets.nix b/jobsets.nix
@@ -45,7 +45,12 @@ let
       description = "#${num}: ${info.title}";
       inputs = {
         reflex-platform = {
-          value = "https://github.com/reflex-frp/reflex-platform pull/${num}/merge";
+          #NOTE: This should really use "pull/${num}/merge"; however, GitHub's
+          #status checks only operate on PR heads.  This creates a race
+          #condition, which can currently only be solved by requiring PRs to be
+          #up to date before they're merged.  See
+          #https://github.com/isaacs/github/issues/1002
+          value = "https://github.com/reflex-frp/reflex-platform pull/${num}/head";
           type = "git";
           emailresponsible = false;
         };