diff --git a/script/archive_branch.sh b/script/archive_branch.sh
deleted file mode 100755
index 0177592a54..0000000000
--- a/script/archive_branch.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-
-# Archive an old branch as a tagged named archive/branch-name to declutter the branch list
-
-BRANCH_NAME=$1
-
-git tag archive/$BRANCH_NAME $BRANCH_NAME
-git checkout -q archive/$BRANCH_NAME
-git branch -d $BRANCH_NAME
-git checkout -q master