1. I’ve made a grave mistake. I tried to “git pull” on airplane WiFi.