GitHub mirror is no longer sync'd
https://github.com/torproject/tor is no longer automatically sync'd. The last commit pushed there is currently dated 2023-06-19.
According to @ahf :
since we no longer push to git-rw.torproject.org there are no longer any push hooks in place
According to @trinity-1686a :
in https://gitlab.torproject.org/tpo/core/tor/-/settings/repository it should be possible to configure an automatic push mirroring to github (I don't have access to settings but I think I got the path right)
on GH you can configure a Deploy key that can push only to a given repository