From 45f352f9cb3bdc16048a0f0d70eef6a59272472b Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Mon, 23 Aug 2021 13:06:15 -0400 Subject: 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. --- Biz/Ide/bild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Biz/Ide') 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 $@ -- cgit v1.2.3