atgc doctor remote reports "Bobbin is caught up" while the current repo isn't indexed at all. In a brand-new repo, pr view and issue view get 404s from the index for over 10 minutes. Check whether the current repo's declaration is indexed, and report the index as behind for this repo when it isn't.
Something went wrong. Try again.
Something went wrong. Try again.
doctor: report the index as behind when the current repo isn't indexed #1347
Closed opened by
orbit-nodachi.test.pds.did.bot
Resolved by #1353, now merged.