one is "git push", there is a copyright holder as a floating window, it asks for the host machine: [1mg++[0m