so the github gcc mirror is already using the new reposurgeon based git repo,
that means that all the commit hashes etc. are different if someone forked this gcc mirror so easy pulling from the mirror isn't possible anymore - or am im wrong? is there any description how to "port" over github projects that dependens on the old repo? would a simple rebase work, or cherry picking? thx