Hi,
thank you for reporting that.
I will try to fix that as soon as possible.
Dan
On Mon, May 4, 2020 at 9:01 AM Marios Andreou wrote:
>
>
> On Mon, May 4, 2020 at 9:34 AM YATIN KAREL wrote:
>
>> Hi Daniel,
>>
>> On Tue, Apr 28, 2020 at 9:05 PM Daniel Pawlik wrote:
>>
>>> Hi,
>>>
>>> Today
On Mon, May 4, 2020 at 9:34 AM YATIN KAREL wrote:
> Hi Daniel,
>
> On Tue, Apr 28, 2020 at 9:05 PM Daniel Pawlik wrote:
>
>> Hi,
>>
>> Today we enable new services on rdoproject.org:
>> - cgit
>> - codesearch
>>
>> Old domain codesearch.rdoproject.org will be removed and now
>> service address
Hi Daniel,
On Tue, Apr 28, 2020 at 9:05 PM Daniel Pawlik 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
On Tue, Apr 28, 2020 at 9:35 AM Daniel Pawlik wrote:
> Hi,
>
> Today we enable new services on rdoproject.org:
> - cgit
> - codesearch
>
Great additions! Thanks Daniel!
>
> Old domain codesearch.rdoproject.org will be removed and now
> service address is:
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
