DEV: removes unused version_bump script (PR #13811)

GitHub