Hi Daniel,
On Tue, Apr 28, 2020 at 9:05 PM Daniel Pawlik <dpawlik(a)redhat.com> wrote:
 Hi,
 Today we enable new services on 
rdoproject.org:
 - cgit
 - codesearch
 Old domain 
codesearch.rdoproject.org will be removed and now
 service address is: 
https://review.rdoproject.org/codesearch/.
 I suggest to "hard" refresh the 
review.rdoproject.org to
 update the site cache.
 If you have any problems related to this change, please do not hesitate to
 contact me.
 Before removing can u check the difference in search results, i see 
different
project list and output in old and new codesearch, new one have
missing projects and search results.
https://codesearch.rdoproject.org/?q=Recommends%3A|Supplements%3A|Suggest...
vs
https://review.rdoproject.org/codesearch/?q=Recommends%3A%7CSupplements%3...
 Regards,
 Dan
 _______________________________________________
 dev mailing list
 dev(a)lists.rdoproject.org
 
http://lists.rdoproject.org/mailman/listinfo/dev
 To unsubscribe: dev-unsubscribe(a)lists.rdoproject.org
 
Thanks and Regards
Yatin Karel