@@ -46,7 +46,12 @@ let
4646 description = "#${num}: ${info.title}";
4747 inputs = {
4848 obelisk = {
49− value = "https://github.com/obsidiansystems/obelisk pull/${num}/merge";
49+ #NOTE: This should really use "pull/${num}/merge"; however, GitHub's
50+ #status checks only operate on PR heads. This creates a race
51+ #condition, which can currently only be solved by requiring PRs to be
52+ #up to date before they're merged. See
53+ #https://github.com/isaacs/github/issues/1002
54+ value = "https://github.com/obsidiansystems/obelisk pull/${num}/head";
5055 type = "git";
5156 emailresponsible = false;
5257 };