add push option to git-experimental
add hint and switch back to old anoncvs server in config.sh
still adjusting settings