8 ms·
Was unable to merge PRs. Earlier, I also got GitHub PR comment emails about 6 hours late. Whatever it is, it’s been happening for more than 6 hours.
by JestUM 3y ago
Was unable to merge PRs.
Earlier, I also got GitHub PR comment emails about 6 hours late.
Whatever it is, it’s been happening for more than 6 hours.
- toastal 3y agoCould you apply the patch from the URL? Pull requests aren't really needed.