github_merge: add --status to filter out PR without success