diff options
author | Ben Sima <ben@bsima.me> | 2021-08-23 13:06:15 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2021-11-26 13:47:38 -0500 |
commit | 45f352f9cb3bdc16048a0f0d70eef6a59272472b (patch) | |
tree | 7cae4b608e45360085d950d7c14d80911ce46b7c /Biz/Dragons/get-examples.sh | |
parent | aa2eb2d3e08fb74b93acc9608a78582834a65e8c (diff) |
Fix GitHub OAuth args
This makes it explicit that we are using GitHub vs some other OAuth args. The
idea is that we should be making a new type for every service, this allows us to
have type safety in the implementation but a common set or pattern of names for
the environment variables and record fields.
Also using 'notset' instead of 'mempty' is really helpful for debugging when
this breaks, as I found out.
Diffstat (limited to 'Biz/Dragons/get-examples.sh')
-rwxr-xr-x | Biz/Dragons/get-examples.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Biz/Dragons/get-examples.sh b/Biz/Dragons/get-examples.sh index a35a282..35f024f 100755 --- a/Biz/Dragons/get-examples.sh +++ b/Biz/Dragons/get-examples.sh @@ -6,8 +6,9 @@ then exit 1 fi cookie="$1" -curl 'https://dragons.dev/analysis?user=github&repo=training-kit' \ +curl 'https://dragons.dev/analysis' \ + -d "owner=github&repo=training-kit" \ -X POST \ -H 'Content-Type: application/x-www-form-urlencoded' \ -H "Cookie: JWT-Cookie=$cookie" \ - --compressed --insecure + --compressed |