Note that there are no tags in the github repository, provide scripts to checkout a tag easily.

README.md

@@ -17,6 +17,8 @@ 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

@@ -0,0 +1,25 @@
+#!/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

@@ -0,0 +1,6 @@
+#!/bin/sh
+#
+# Lists all tags available in the repository.
+# Usage: ./list-tags.sh
+
+git ls-remote --tags git://git.jetbrains.org/idea/community.git