steckerhalter πŸ‡¨πŸ‡­ πŸ₯ β˜• is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
steckerhalter πŸ‡¨πŸ‡­ πŸ₯ β˜• @steckerhalter

RP @vickysteeves
GitLab open sourced push mirroring and added it core. This is a great win for !!! You can now run your own canonical GitLab instance & easily mirror to GitHub for findability.

Read more here: about.gitlab.com/2018/05/22/gi

Another reason why GitLab is #1


octodon.social/@vickysteeves/1

Think about opening your new project on gitlab.com instead of . Later on you can migrate it to your own server. github = dead end

Β· Web Β· 8 Β· 11

@steckerhalter @vickysteeves Still however there is no way to disable pull requests on GitHub.

@steckerhalter Yes, there are workarounds. However GitHub not having this feature means that it doesn't intend to be used as a mirror. This may be an argument for… not mirroring projects on GitHub.

@steckerhalter @vickysteeves This only replicates the code, there is no "federation" as all social features (MR, issues, comments...) only show up in each location