CI: remove some obsolete stuff

.github/travis_init.sh

@@ -2,6 +2,8 @@
 
 # Copyright (C) Markus Franz Xaver Johannes Oberhumer
 
+# ...lots of outdated/unneeded stuff from the old Travis/Circle/AppVeyor CI days...
+
 #set -x # debug
 umask 022
 export GIT_PAGER=
@@ -268,13 +270,4 @@ print_settings() {
     ##env | LC_ALL=C sort
 }
 
-fix_home_ssh_perms() {
-    if [[ -d ~/.ssh ]]; then
-        if [[ -x /usr/sbin/restorecon ]]; then
-            /usr/sbin/restorecon -v -R ~/.ssh || true
-        fi
-        chmod -c -R go-rwx ~/.ssh || true
-    fi
-}
-
 true