We have plans to move the GetTor github repository. I made a commit to update the `update_git` script with the new repo name [already](https://gitweb.torproject.org/gettor.git/commit/?id=e6f6ad93b1cf3e61f34c7c7c185cd085f6005761), but we still need to actually run it and update the links. Here's what's left to do: - make sure my authentication token works with the new user - update the `add_links_to_db` script with the new repo name - run everything