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/Ide | |
| 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/Ide')
| -rwxr-xr-x | Biz/Ide/bild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Ide/bild b/Biz/Ide/bild index 0dd4afb..1305e21 100755 --- a/Biz/Ide/bild +++ b/Biz/Ide/bild @@ -1,2 +1,2 @@ #!/usr/bin/env bash -timeout 5m runghc -i$BIZ_ROOT Biz.Bild $@ +runghc -i$BIZ_ROOT Biz.Bild $@ |