All, I plan on refreshing our bug tracker data over this week. I've added some new sources (thank you, Tilman, for the pointers!), and I'd like to refresh the earlier sources.
If anyone has any bugzilla/jira/github/gitlab based crawlers we should
add, please let me know.
I plan to wipe out the old bugtracker data when I swap in the new. If
there's something there that you really need and can't lose, or if this
seems like a bad idea(TM), let me know.
Cheers,
Tim
