An important experience from today: using GitHub Desktop and Disconnect Desktop together can lead to serious data loss. Or at least this seems to be the most plausible explanation for my issues.