mirror of
https://gh-proxy.org/https://github.com/klinsmaya/multica.git
synced 2026-11-08 17:36:45 +08:00
3fecc553e2
* fix(db): index GitHub PR head SHA lookups Co-authored-by: multica-agent <[email protected]> * fix(db): narrow GitHub PR head SHA index Co-authored-by: multica-agent <[email protected]> --------- Co-authored-by: Sol-Boy <[email protected]> Co-authored-by: multica-agent <[email protected]>
5 lines
265 B
SQL
5 lines
265 B
SQL
-- Head SHA is selective enough to narrow the CI-webhook fallback to the few
|
|
-- mirrored rows whose installation and repository are then checked by SQL.
|
|
CREATE INDEX CONCURRENTLY IF NOT EXISTS idx_github_pull_request_head_sha
|
|
ON github_pull_request (head_sha);
|