anchor.diff:                  """{ "state" : "closed"  }""")
           Plug.New(new XUri(pr?pull_request?url.AsString())).Post(close)
           
  -    member this.CreateWebHooks(repos) =
  +    member this.CreateWebHooks repos =
           repos
           |> Seq.filter (fun repo -> not(this.WebHookExist(repo)))
           |> Seq.iter (fun repo -> this.CreateWebHook(repo))
  
positive.code:                 DreamStatus.Ok,
                  new DreamHeaders([| new KeyValuePair<string, string>("Authorization", "token " + token.Value) |]),
                  MimeType.JSON,
                  String.Format("""{{ "name" : "web", "events" : ["pull_request"], "config" : {{ "url" : "{0}", "content_type" : "json" }} }}""", this.Self.Uri.At("notify").AsPublicUri().ToString()))
          try
              ignore(GITHUB_API.At("repos", owner.Value, repo, "hooks").Post(createHook))
          with
  
negative.code:                 "")
          let hooks : JsonValue[] = JsonValue.Parse(GITHUB_API.At("repos", owner.Value, repo, "hooks").Get(auth).ToText()).AsArray()
          let isPullRequestEvent (events : JsonValue[]) = Seq.exists (fun (event : JsonValue) -> event.AsString() = "pull_request") events
          Seq.exists (fun (hook : JsonValue) -> isPullRequestEvent(hook?events.AsArray()) && hook?name.AsString() = "web" && hook?config?url.AsString() = publicUri.Value) hooks
          
      member this.CreateWebHook repo =
          let createHook =
  