[wp-meta] [Making WordPress.org] #1085: Duplicate results in developer.wordpress.org search

[Making WordPress.org]

#1085: Duplicate results in developer.wordpress.org search
----------------------------+-----------------------
 Reporter:  SergeyBiryukov  |       Owner:
     Type:  defect          |      Status:  reopened
 Priority:  normal          |   Milestone:
Component:  Developer Hub   |  Resolution:
 Keywords:                  |
----------------------------+-----------------------

Comment (by SergeyBiryukov):

 Just stumbled upon this again. There are 16 duplicate results for
 [https://developer.wordpress.org/?s=pre_user_login pre_user_login]:
 {{{
 16 results found for "pre_user_login". Showing results 1 to 16.
 }}}
 https://developer.wordpress.org/reference/hooks/pre_user_login/
 ...
 https://developer.wordpress.org/reference/hooks/pre_user_login-15/

--
Ticket URL: <https://meta.trac.wordpress.org/ticket/1085#comment:12>
Making WordPress.org <https://meta.trac.wordpress.org/>
Making WordPress.org