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 -# Example: ./fetch-tag.sh idea/183.4139.22 - - -if [[ -z "$1" ]] ; then - echo " - Usage: ./fetch-tag.sh - 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