Closed dolmen closed 10 years ago
The data are not re-indexed. They are accumulated in real time so the data are associated with the name that the contributor or repo had when the event occurred. GitHub provides no way of resolving these links.
I'm filing this as wontfix.
Sorry.
My repo dolmen/angel-prompt has been renamed to dolmen/angel-PS1, but osrc still references both:
Both are referenced with links at http://osrc.dfm.io/dolmen
The old repositories and users that have disappeared from Github should be removed when osrc is reindexed.