This repository was archived by the owner on Sep 30, 2024. It is now read-only.
This repository was archived by the owner on Sep 30, 2024. It is now read-only.
External references UI #1172
Description
For #958, we need a way for extensions to provide external references. There are some nuanced ways in which these should be shown differently from local references. I will throw something together here to unblock @chrismwendt.
