github_merge: skip issues (not PR)