A report on COVID-era software development activities from GitHub points to some disruptions in development activity, but in general, developers are maintaining the pace. "Developer activity remains ...