Browse Source

fix json

pull/75/head
Fredrik Ekre 6 years ago
parent
commit
e5ed0fc8a2
  1. 2
      docs/make.jl

2
docs/make.jl

@ -87,7 +87,7 @@ if get(ENV, "GITHUB_EVENT_NAME", nothing) == "pull_request"
cmd = `curl -X POST` cmd = `curl -X POST`
push!(cmd.exec, "-H", "Authorization: token $(ENV["GITHUB_TOKEN"])") push!(cmd.exec, "-H", "Authorization: token $(ENV["GITHUB_TOKEN"])")
push!(cmd.exec, "-H", "Content-Type: application/json") push!(cmd.exec, "-H", "Content-Type: application/json")
push!(cmd.exec, "-d", "'{\"body\":\"$(msg)\"}'") push!(cmd.exec, "-d", "{\"body\":\"$(msg)\"}")
push!(cmd.exec, "https://api.github.com/repos/fredrikekre/Literate.jl/issues/$(PR)/comments") push!(cmd.exec, "https://api.github.com/repos/fredrikekre/Literate.jl/issues/$(PR)/comments")
try try
success(cmd) success(cmd)

Loading…
Cancel
Save