Open source and release to crates.io

[thomaseizinger]

comit-network/comit-rs#651

This is actually not blocked by anything. We could just release it to crates.io - people might find it useful :)

[D4nte]

I guess this can be done anytime as we won't use it :]

[LLFourn]

I dunno -- do we really want to maintain it? I would just make it public under a personal github and see if someone wants to take it. @bonomat thoughts?

[thomaseizinger]

Well, "maintenance" in the worst case would mean mentor a PR and release it to crates.io again?

If we don't want to open-source it, I'd vote for deleting the repo.

[bonomat]

We can just click the open source button (add a license first) and keep it there for some time before we delete it. If someone wants to take over under their personal github account, you can fork the public repository. In that way, I don't see an issue with moving things we've created at work to your personal account and I don't feel bad deleting things which might actually be useful for someone.