Can we please add a GitGit Git is a free and open source distributed version control system designed to handle everything from small to very large projects with speed and efficiency. Git is easy to learn and has a tiny footprint with lightning fast performance. Most modern plugin and theme development is being done with this version control system. https://git-scm.com/. post-update hook on meta.git.wordpress.org to push to git@github.com:WordPress/wordpress.org.git?
There exists an existing configuration for this for the develop.git repo: https://make.wordpress.org/systems/2016/12/20/deploy-key-and-mirroring-for-github-repo/
Either add the key directly in https://github.com/WordPress/wordpress.org/settings/keys or let me know and I’ll add it.