Is Distributions.jl currently accepting PRs for new distributions?

What is the current “policy” regarding merging new distributions into Distributions.jl?

It would appear that the last time someone tried

they got partially tied up waiting for this

Are new distribution PRs completely on hold until PR#951 is sorted out?

3 Likes

It is.

2 Likes