Failure to push converted repositories from GHA to GitHub

[ronaldtse]

Pushing from my local macOS works, but pushing from GHA doesn't, especially for the ietfdb repository:

2021-09-20T06:36:01.6877479Z ##[group]Run git push --all -f
2021-09-20T06:36:01.6878043Z git push --all -f
2021-09-20T06:36:01.6878509Z git push --tags -f
2021-09-20T06:36:01.6917932Z shell: /usr/bin/bash -e {0}
2021-09-20T06:36:01.6918379Z env:
2021-09-20T06:36:01.6919044Z   SSH_AUTH_SOCK: /tmp/ssh-5agXt9VTjWhT/agent.5863
2021-09-20T06:36:01.6919622Z   SSH_AGENT_PID: 5864
2021-09-20T06:36:01.6920065Z ##[endgroup]
2021-09-20T06:36:02.0630939Z Warning: Permanently added the RSA host key for IP address '140.82.112.3' to the list of known hosts.
2021-09-20T06:39:39.7216544Z remote: fatal: pack exceeds maximum allowed size        
2021-09-20T06:39:40.1976410Z error: remote unpack failed: index-pack abnormal exit
2021-09-20T06:39:40.2036308Z To github.com:ietf-ribose/ietfdb.git
2021-09-20T06:39:40.2037641Z  ! [remote rejected]     attic/iesg_idtracker -> attic/iesg_idtracker (failed)
2021-09-20T06:39:40.2039015Z  ! [remote rejected]     attic/meeting_session -> attic/meeting_session (failed)
2021-09-20T06:39:40.2040595Z  ! [remote rejected]     attic/sprint-2007-vancouver -> attic/sprint-2007-vancouver (failed)
2021-09-20T06:39:40.2042036Z  ! [remote rejected]     attic/sprint-2008-philly -> attic/sprint-2008-philly (failed)
2021-09-20T06:39:40.2043383Z  ! [remote rejected]     attic/sprint-ietf-73 -> attic/sprint-ietf-73 (failed)
2021-09-20T06:39:40.2044724Z  ! [remote rejected]     attic/sprint-scratchpad -> attic/sprint-scratchpad (failed)
2021-09-20T06:39:40.2046259Z  ! [remote rejected]     master -> master (failed)
2021-09-20T06:39:40.2047391Z  ! [remote rejected]     personal/adam/6.37.2.dev0 -> personal/adam/6.37.2.dev0 (failed)
2021-09-20T06:39:40.2048630Z  ! [remote rejected]     personal/adam/6.40.1.dev0 -> personal/adam/6.40.1.dev0 (failed)

The repository might be too large, and we may have to do this: https://stackoverflow.com/questions/55848394/cant-migrate-large-repo-from-gitlab-to-github

Which suggests:

git rev-list --reverse --all | ruby -ne 'x ||=0; x += 1; print $_ if x % 30000 == 0;' | xargs -I{} echo git push github +{}:refs/heads/master
git push github +master
git push --mirror github