Cannot clone adt-tools-base

Avatar
Permanently deleted user
Created

adt-tools-base is required to build intellij-community from source. The officially documented [1] URL git://git.jetbrains.org/idea/adt-tools-base.git gives a timeout:

$ git remote -v
origin https://git.jetbrains.org/idea/adt-tools-base.git (fetch)
origin https://git.jetbrains.org/idea/adt-tools-base.git (push)
$ GIT_CURL_VERBOSE=1 GIT_TRACE=1 git fetch origin
10:15:39.233209 git.c:344 trace: built-in: git fetch upstream
10:15:39.262010 run-command.c:640 trace: run_command: GIT_DIR=.git git-remote-https upstream https://git.jetbrains.org/idea/adt-tools-base.git
* Couldn't find host git.jetbrains.org in the .netrc file; using defaults
* Trying 46.137.189.41...
* TCP_NODELAY set
* connect to 46.137.189.41 port 443 failed: Connection timed out
* Failed to connect to git.jetbrains.org port 443: Connection timed out
* Closing connection 0
fatal: unable to access 'https://git.jetbrains.org/idea/adt-tools-base.git/': Failed to connect to git.jetbrains.org port 443: Connection timed out

 

The timeout on git://git.jetbrains.org/idea/adt-tools-base.git would not matter if only the GitHub mirror https://github.com/JetBrains/adt-tools-base was up to date, which it is not. It is 1.5 years behind the master repo.

So could you please either (a) fix syncing the GitHub mirror or (b) make git://git.jetbrains.org/idea/adt-tools-base.git work?

 

[1] https://github.com/JetBrains/intellij-community/blob/master/getPlugins.sh#L2

Votes

0

Share

1 comment
Avatar
Permanently deleted user
Created

For some reason I had 

[url "https://"]
    insteadOf = git://

In my ~/.gitconfig . After removing it, the remote looks like the following:

$ git remote -v
origin git://git.jetbrains.org/idea/adt-tools-base.git (fetch)
origin git://git.jetbrains.org/idea/adt-tools-base.git (push)

Now fetch seems to be doing something:

GIT_CURL_VERBOSE=1 GIT_TRACE=1 git fetch origin
10:50:55.393663 git.c:344 trace: built-in: git fetch upstream
10:50:59.426167 run-command.c:640 trace: run_command: git rev-list --objects --stdin --not --all --quiet
remote: Counting objects: 209024, done.
remote: Compressing objects: 92% (37138/40367)

You may still want to fix the syncing to GitHub.

0

Please sign in to leave a comment.