[#33511] mark submit as deprecated

bin/check_ci.sh

-#!/bin/bash
-
-# shell script to simulate (some steps of) the CI procedure
-
-export SUBMIT_MODE=1
-
-ln -sf ../devtools .
-ln -sf ~/.install/debian-10/mpi install
-trap "rm -f devtools install" EXIT
-
-args=( "${@}" )
-if [ $# -eq 0 ]; then
-    args=( "--all" )
-fi
-
-.gitlabci/debug-ci.sh "${args[@]}"

bin/submit

-check_ci.sh
\ No newline at end of file

bin/submit

+#!/bin/bash
+
+if [ -f ./check_ci.sh ]; then
+    echo "WARNING: 'submit' is deprecated, please use ./check_ci.sh"
+    echo
+    ./check_ci.sh "${@}"
+else
+    echo "WARNING: 'submit' is deprecated, use './check_ci.sh' from the src repository."
+fi