DROP INDEX CONCURRENTLY IF EXISTS idx_github_pull_request_pr_owner_repo;