From c99cdeecdb772ec7be9df26de858f037059f8523 Mon Sep 17 00:00:00 2001
From: Kirill Likhodedov <Kirill.Likhodedov@jetbrains.com>
Date: Thu, 7 Feb 2019 16:20:53 +0300
Subject: [PATCH] Remove scripts to fetch tags, and the note about absent tags
 on github

Tags are back, so there is no need for these notes and scripts anymore.

This reverts commit 523a84f6
---
 README.md    |  2 --
 fetch-tag.sh | 25 -------------------------
 list-tags.sh |  6 ------
 3 files changed, 33 deletions(-)
 delete mode 100755 fetch-tag.sh
 delete mode 100755 list-tags.sh

diff --git a/README.md b/README.md
index 3fe0bb0a5ed0..995ed97309b5 100644
--- a/README.md
+++ b/README.md
@@ -17,8 +17,6 @@ and build numbers for older releases of IntelliJ IDEA can be found on the page o
 If you intend to make open source contributions to the IntelliJ Platform,
 see [Contributing to the IntelliJ Project](http://www.jetbrains.org/display/IJOS/Contribute) for more information.
 
-_**Tags:**_ The GitHub repository doesn't contain any tags for performance reasons. If you need to check out a tag, fetch it from [the repository mirror](git://git.jetbrains.org/idea/community.git) which contains all of them. There are scripts `fetch-tag.sh` and `list-tags.sh` which simplify the task.
-
 _**Speed Tip:**_ If the complete repository history isn't needed then using a shallow clone (`git clone --depth 1`) will save significant time.
 
 These Git operations can also be done through the [IntelliJ IDEA user interface](https://www.jetbrains.com/help/idea/using-git-integration.html).
diff --git a/fetch-tag.sh b/fetch-tag.sh
deleted file mode 100755
index ecfb44880b09..000000000000
--- a/fetch-tag.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/sh
-#
-# Fetches the given tag and creates it locally.
-# Usage: ./fetch-tag.sh <name-of-tag>
-# Example: ./fetch-tag.sh idea/183.4139.22
-
-
-if [[ -z "$1" ]] ; then
-  echo "
-  Usage:   ./fetch-tag.sh <name-of-tag>
-  Example: ./fetch-tag.sh idea/183.4139.22"
-  exit 1
-fi
-
-TAG="$1"
-
-set -e # Any command which returns non-zero exit code will cause this shell script to exit immediately
-
-git fetch -q git://git.jetbrains.org/idea/community.git $TAG
-git tag $TAG FETCH_HEAD
-
-HASH=`git rev-parse $TAG`
-
-echo "The tag $TAG has been created at $HASH"
-
diff --git a/list-tags.sh b/list-tags.sh
deleted file mode 100755
index 1066d1e0ad59..000000000000
--- a/list-tags.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/sh
-#
-# Lists all tags available in the repository.
-# Usage: ./list-tags.sh
-
-git ls-remote --tags git://git.jetbrains.org/idea/community.git