title: Official Android Studio repository?
body: <p>I found this tutorial for installing Android Studio on Linux: <a href="https://linuxhint.com/install_android_studio_ubuntu/" rel="nofollow noreferrer">https://linuxhint.com/install_android_studio_ubuntu/</a></p>
  <p>It says:</p>
  <blockquote>
  <p>In this step, you will need to add the official Android repository to the source list of your system. To do this, enter the following command in the terminal window:
  <code>$ sudo add-apt-repository ppa:maarten-fonville/android-studio</code></p>
  </blockquote>
  <p>It declares <code>maarten-fonville/android-studio</code> as the &quot;official Android repository&quot;.</p>
  <p>I couldn't find references to this PPA from Google's official documentation. It's also not mentioned in the Android Studio download page: <a href="https://developer.android.com/studio" rel="nofollow noreferrer">https://developer.android.com/studio</a> .</p>
  <p>I found this page: <a href="https://launchpad.net/%7Emaarten-fonville" rel="nofollow noreferrer">https://launchpad.net/~maarten-fonville</a> , and looking at the description and content, I saw no indication that it belonged to or was affiliated with Google or JetBrains.</p>
  <p>I have no reason to believe that there is anything wrong with that PPA; in fact, I even used it successfully in a VM. But I am reluctant to use non-official repositories on my main machine, for security reasons.</p>
  <p>How can I verify that this PPA is indeed &quot;official&quot; and approved (and/or monitored?) by either Google or JetBrains?</p>