diff --git a/script.sh b/script.sh
deleted file mode 100755
index 08ae44f5ac27d9650ffe924b6b5c5f4057e58944..0000000000000000000000000000000000000000
--- a/script.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/bash
-# Don't run this script unless you know what you're doing.
-
-git checkout master
-for i in gr aie aif core
-do
-	git merge $i
-	git checkout $i
-	git merge master
-	git checkout master
-done
-
-git checkout master