Julian Arni
Julian Arni
The `hpack` changes needed (for this) are mostly done. #178 has been done in other ways. I'm in favour of contributing upstream, but I agree it may not be urgent...
# What should POST return? I think a common practice is to either redirect, or return the link to the created resource. Should we return this in the body? In...
# Service and Thentos Session Should these be unified somehow? _EDIT_: Actually, I'm still not clear on how they interact and what their different purposes are.
# Point and Extensibility As thentos-adhocracy shows, when we need to have slightly different endpoints and JSON formats, we don't really gain much from the definition of the API in...
> Random Google result ... That sounds pretty good! Maybe: ``` type CRUD resource i cts a = resource :> ReqBody cts a :> Post200 a : resource :> Capture...
(Or `Post '[JSON] (Headers '["Location", Link] ())`)
> you should be able to do `git+ssh://`and that will use user credentials Yes, I’m aware. But on CI tokens are much easier than SSH keys, and the issue is...
Can we discuss a little the threat model? We'd have to mark a lot of imports as trusted, so in that sense we wouldn't get much benefit from `-XSafe` for...
For what it's worth, `emptyCatalog` is still defined, but not exported.