diff --git a/contrib/devtools/github-release.sh b/contrib/release/github-release.sh rename from contrib/devtools/github-release.sh rename to contrib/release/github-release.sh