[rdo-dev] New services on rdoproject.org
YATIN KAREL
yatinkarel at gmail.com
Mon May 4 06:34:17 UTC 2020
Hi Daniel,
On Tue, Apr 28, 2020 at 9:05 PM Daniel Pawlik <dpawlik at 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|Suggests%3A|Enhances%3A&i=nope&files=&repos=
vs
https://review.rdoproject.org/codesearch/?q=Recommends%3A%7CSupplements%3A%7CSuggests%3A%7CEnhances%3A&i=nope&files=&repos=
>
> Regards,
> Dan
> _______________________________________________
> dev mailing list
> dev at lists.rdoproject.org
> http://lists.rdoproject.org/mailman/listinfo/dev
>
> To unsubscribe: dev-unsubscribe at lists.rdoproject.org
>
Thanks and Regards
Yatin Karel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rdoproject.org/pipermail/dev/attachments/20200504/c6e82c34/attachment.html>
More information about the dev
mailing list