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

@@ -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).

fetch-tag.sh

@@ -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"
-

list-tags.sh

@@ -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