GitHub -> SourceHut issue/pr migration tool

[Rene Schallner]

On Thu Jul 28, 2022 at 6:54 PM CEST, Rémi Rampin wrote:
> That looks great!

Thanks!

> Do we have a place to collect resources of that kind? Somewhere we can
> contribute tools and guides, besides the (terse) "resources" section of
> giveupgithub.org?

I haven't actually checked the resources section out. I must have missed
it.

I've started a tiny collection here:

https://man.sr.ht/~renerocksai/migrate-to-sourcehut/

Feel free to add to it. I'm always looking for useful additions 😊.

-Rene