GitHub多次宕机导致无法合并PR

哎，GitHub又挂了，这几天都第十次了，一个PR都合并不了。