From dc1193fc3b781a2a981ae3c08aaf745ef588b38b Mon Sep 17 00:00:00 2001
From: "Dmitriy.Panov" <dmitriy.panov@jetbrains.com>
Date: Tue, 24 Dec 2024 15:06:17 +0100
Subject: [PATCH] IJI-2196 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.

GitOrigin-RevId: 54c3e6175fc1b4704a410dbb5cd19598891aa067
---
 .github/actions/build_ide/action.yml | 2 ++
 1 file changed, 2 insertions(+)

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