github mirrors of web repos (support, manual, community) are out of sync
View options
Our web mirrors on github, i.e. web/community -> https://github.com/torproject/community, web/manual -> https://github.com/torproject/manual, web/support -> https://github.com/torproject/support are out of sync.