diff --git a/squash-commits.sh b/squash-commits.sh deleted file mode 100755 index 606b1fe636..0000000000 --- a/squash-commits.sh +++ /dev/null @@ -1,120 +0,0 @@ -#!/bin/bash - -if [[ $# -ne 3 || "$1" == "--help" || "$1" = "-h" ]] -then - name=$( basename $0 ) - cat <<- USAGE - Usage: $name pr "title" "description" - - * All commits in the specified PR will be squashed and a new commit prepared - with the provided title and description as commit message. - * This script will not push the new commit. You will need to do so yourself - by force-pushing, since you will be rewriting history. You must be the - author of the PR or a maintainer of the repository in order to perform this - operation. - * The 'gh' CLI tool must be installed and authenticated. - * To write a multiline description, you can use "\$(cat <