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