hydra: Evaluate PRs as-merged, rather than as-is
commit964723cbd6ca95447cb80e747d872001bcd532c3
authorRyan Trinkle <ryan.trinkle@gmail.com>
dateSun 27 May 2018, 11:49 (8 years ago)
parent112dce2
jobsets.nix+1−1
@@ -46,7 +46,7 @@ let
4646 description = "#${num}: ${info.title}";
4747 inputs = {
4848 obelisk = {
49− value = "https://github.com/${info.head.repo.owner.login}/${info.head.repo.name}.git ${info.head.ref}";
49+ value = "https://github.com/obsidiansystems/obelisk pull/${num}/merge";
5050 type = "git";
5151 emailresponsible = false;
5252 };