Dec 18th 2020. Thank you for coming to provide feedback, but this survey is now closed. We are now crunching the data to see where and how we can improve the experience with our github repos. The issue posts and links to this survey from github should be being updated shortly.