-
Notifications
You must be signed in to change notification settings - Fork 134
Closed
Labels
Description
It turns out our way of fetching git repos doesn't work with all tags. This is because we use git init && git remote add origin .. && git fetch origin, and for some reason that doesn't fetch all tags.
It's possible to replicate with the following addition:
let additions =
{ graphql =
mkPackage
[ "prelude"
, "console"
, "effect"
, "typelevel-prelude"
, "aff"
, "aff-promise"
, "nullable"
, "argonaut-core"
, "maybe"
]
"https://github.com/hendrikniemann/purescript-graphql.git"
"v1.0.1"
}
The v1.0.1 tag exists but it's not fetched by git fetch. To fix this we should just use git clone
taojangtaojang and hendrikniemanni-am-the-slime