diff --git a/.github/actions/build_ide/action.yml b/.github/actions/build_ide/action.yml
index 984210796331..d9a2e51ccf4d 100644
--- a/.github/actions/build_ide/action.yml
+++ b/.github/actions/build_ide/action.yml
@@ -13,6 +13,8 @@ runs:
       with:
         repository: JetBrains/android
         path: android
+        # It isn't possible to push release tags to both Community and Android repositories atomically.
+        # Therefore, a checkout may fail with the `couldn't find remote ref` error - the next attempt will succeed.
         ref: ${{github.ref}}
     - name: Build environment
       shell: bash