rm defunct close-bad-pull-requests setting