Infrastructure | Developer gnome search is down since Monday (#245)

["Michael B." <gitlab-issues gnome org>]

Title: GitLab

Michael B. created an issue:

I noticed that the search engine (https://developer.gnome.org/ 2) does not work since Monday. Does this Affects you all, or is just a local (Germany) problem only?

If I try to search something I get the same message every time:

Not Found

The requested URL /symbols/ was not found on this server.

—
Reply to this email directly or view it on GitLab.
You're receiving this email because of your account on gitlab.gnome.org. If you'd like to receive fewer emails, you can unsubscribe from this thread or adjust your notification settings.