Closed dbuenzli closed 5 years ago
From @mor1. The tool fails in obscure ways when repos are moved around since the end point reports a 301:
toy-github-topkg-delegate: [EXEC:36912] ['curl' '-s' '-S' '-K' '-' '-D' '-' '--data' '{ "tag_name" : "0.2.0", "body" : "### 0.2.0 (2017-10-27)\n\n * Upgrade to use `jbuilder`, modern `opam`, `topkg`, etc\n * Fix warnings, generally tidy things up" }' 'https://api.github.com/repos/mor1/ocaml-mrt/releases'] toy-github-topkg-delegate: [ERROR] Could not parse id from location header "Location: https://api.github.com/repositories/4301482/releases" topkg: [ERROR] Delegate toy-github-topkg-delegate errored with 2
This is executed here. Maybe invoking curl with -L would do the job.
curl
-L
From @mor1. The tool fails in obscure ways when repos are moved around since the end point reports a 301:
This is executed here. Maybe invoking
curl
with-L
would do the job.