3 ms·GitHub process automation: A bot to build pull requests by core maintainers1 points by eaguyhn 8y ago