Right now the [main dip repository for gettor](https://dip.torproject.org/torproject/anti-censorship/gettor-project/gettor) is several commits behind git.torproject.org In the meeting today, hiro mentioned that there might be a synchronization issue.