Online Appendix

These two data sets represent GitHub pull requests and Issues from the entirety of 2019 from the GitHub defined Top-10 projects and a set of 71 repositories identified in the network automation space.本数据集包含两个子集，其一收录了2019全年由GitHub官方划定的十大头部项目的GitHub拉取请求（pull request）与议题（issue）数据，其二收录了同期网络自动化领域筛选出的71个代码仓库（repository）的同类数据。