Post #2956980

@denschub@mastodon.schub.social Thank you. After reading your message, I migrated all my personal repos from github to codeberg (including my website since codeberg has pages too, and it's even simpler than github pages since there's no deploy job that needs to run! -- not that I have anything interesting there for now 😅). Codeberg's migration tool works very well, and it migrates the repo's wiki, issues, releases and more. I was impressed. Going forward I will only use github to work on PRs of other forked repos.