@mgorny@social.treehouse.systems services like gitlab (either gitlab.com or their paid version of on prem software) have explicit features to make mirroring github repos easy.