GitHub -> SourceHut issue/pr migration tool

[Rene Schallner]

Hi there,

I wrote a GitHub -> SourceHut issue/pull-request migration tool which
you can find here: https://sr.ht/~renerocksai/GH-to-SH/

I have used it to import the state of telekasten's (a project of mine
that lives on GitHub) issues and PRs as of last night local time. You
can check the resulting import out here:

https://todo.sr.ht/~renerocksai/GH-to-SH-test10

The tool converts:

- Issues
  - title, body, author, issue date, labels, status
  - Issue comments
- Pull-requests
  - title, body, author, issue date, labels, status
  - PR comments
- Labels
  - text, background-color
- Short-refs pointing issues/PRs/discussions
  - short-refs pointing to issues/pull-requests are translated to their
    new SourceHut ticket IDs.
  - short-refs pointing to discussions will be replaced by inline links like
    this: `https://github.com/user/repo/discussions/#62`

Read more about it in the README. (use link to repo above)

I hope this helps more people giving up GitHub, and even trying out
SourceHut. 

Best, 
Rene