Gh2srht: A tool to migrate from GitHub to SourceHut