The issue has been closed
For example, here I am in the REPL topic, looking for good REPLs. This Rusti project has been archived, but it doesn't say so on this page, so I'd waste time by opening the link.
That seems like just an oversight by GitHub. Please report this to GitHub support.
posted by NightMachinary over 4 years ago 
What search? All search boxes already exclude archived repositories.
Also, always include URLs to the exact pages you’re referring to, to avoid misunderstandings, like the “New issue” template requests.
2. Include a full URL where the feature should appear.
@fregante commented on Aug 2, 2020, 1:22 AM GMT+4:30:
What search? All search boxes already exclude archived repositories.
Also, always include URLs to the exact pages you’re referring to, to avoid misunderstandings, like the “New issue” template requests.
2. Include a full URL where the feature should appear.
Oh, so that's what that meant. I didn't understand what it meant.
https://github.com/topics/repl
You're right, I don't know about search pages, I only saw this on this URL. Sorry.
This is such a minor annoyance on a minor page that it's not worth building a whole feature based on the API just for it. Hopefully GitHub will address it.
IssueHunt