The COVID-19 virus has prompted a sudden, global need for people to stay home. Software developers, like everyone else, have had to transition to a work-from-home world. For the users of GitHub, the COVID-19 pandemic has meant changes in work cadenc…