I. Introduction
GitHub [1] is the largest social coding platforms, hosting over 330 million software repositories and accommodating over 100 million developers in June 2023. By incorporating features like issue tracking and pull requests into distributed version control tools, GitHub has revolutionized the way developers collaborate [2], [3]. While the adoption of a pull-based development workflow presents many opportunities and benefits, it also raises high requirements for repository maintainers to coordinate the activities during the development process such as internal communication, code review, testing, and merging pull requests [4]. To facilitate the development and collaboration, continuous integration and delivery (CI/CD) tools have been widely adopted to automate a wide range of activities including building, testing, quality assurance [5].