@famfo@chaos.social That would also mean you could search the entirety of github and add a global github issue search engine