@ricky.fm I’ve only dealt with a handful of slop PRs, but it’s kinda annoying