Drop unused index (!37433) · Merge requests · Administrator / sourcegraph

Administrator requested to merge es/drop-unused-idx into main Jun 20, 2022

Created by: eseliger

Didn't realize this index existed when I added one on (user_id, started_at DESC) so this is not required.

@efritz Is anything needed to do CONCURRENTLY in the down migration?

Test plan

Tests cover migrations.