Stream: math-comp devs

Topic: pnp fork in math-comp org


view this post on Zulip Cyril Cohen (Dec 07 2021 at 16:26):

Does anyone know why we have a fork of https://github.com/ilyasergey/pnp as https://github.com/math-comp/pnp in the math-comp organization? I think it's not a good practice and we should remove this fork, unless there is a reason I'm missing?


Last updated: Aug 11 2022 at 02:03 UTC