With the release of IntelliJ IDEA 2017.3, the GitHub mirrors of the Community Edition repo and the android module have been updated to include the corresponding "173" branch. However, the adt-tools-base mirror has not been updated: the latest commit is from April 6th, while the latest commit in the source repo (git://git.jetbrains.org/idea/adt-tools-base.git) is from September 12th.
Unfortunately, my company firewall blocks SSH connections to ports other than 443, so I am unable to build a version of IntelliJ Community Edition which corresponds to 2017.3. I need to do this in order to update an internal plugin I maintain that has stopped working with the 2017.3 update.
Is the adt-tools-base mirror repo going to be updated soon?