Re: [incquery-dev] broken links on the documentation page @eclipse.org

[Ujhelyi Zoltán <ujhelyiz@xxxxxxxxxx>]

Hi,

I fixed this with commit https://git.eclipse.org/c/www.eclipse.org/incquery.git/commit/?id=43973a0f03ecc3aa5657bfca6677f053d1457424

The solution is that 1) the link was updated on the getting involved page, and 2) the documentation.php redirects now to the Wiki documentation.

Thanks for spotting this.

Cheers,
Zoli
-- Zoltán Ujhelyi
https://www.inf.mit.bme.hu/en/members/ujhelyiz

Fault Tolerant Systems Research Group
Budapest University of Technology and Economics

> On 2014. dec. 2., at 23:30, David, Istvan <davidi@xxxxxxxxxxxxxx> wrote:
> 
> Hi Zoli,
> 
> Like this: http://www.eclipse.org/incquery --[Getting Involved]--> http://www.eclipse.org/incquery/getting_involved.php, 3rd link in the text. (Use case: I was about to set up the dev env.)
> 
> Cheers,
> Istvan
>  
> 
> 2014-12-02 15:55 GMT+01:00 Ujhelyi Zoltán <ujhelyiz@xxxxxxxxxx>:
> Hi,
> 
> question: how did you reach that page, as up to my best knowledge it is not linked anymore from the main site... It was intended to be removed, but I was not sure everything was migrated from it, so I kept the page (and it rotted much more in the meantime :( ).
> 
> Basically, unless this page is publicly referenced from somewhere, it should be removed.
> 
> Cheers,
> Zoli
> -- Zoltán Ujhelyi
> https://www.inf.mit.bme.hu/en/members/ujhelyiz
> 
> Fault Tolerant Systems Research Group
> Budapest University of Technology and Economics
> 
> > On 2014. dec. 1., at 17:01, David, Istvan <davidi@xxxxxxxxxxxxxx> wrote:
> >
> > Hi,
> >
> > This page is full of broken links pointing to incquery.net. As I understand, the referred pages have been migrated to the Eclipse Wiki. Maybe an update would be useful. :)
> >
> > Cheers,
> > Istvan
> > _______________________________________________
> > incquery-dev mailing list
> > incquery-dev@xxxxxxxxxxx
> > To change your delivery options, retrieve your password, or unsubscribe from this list, visit
> > https://dev.eclipse.org/mailman/listinfo/incquery-dev
> 
> _______________________________________________
> incquery-dev mailing list
> incquery-dev@xxxxxxxxxxx
> To change your delivery options, retrieve your password, or unsubscribe from this list, visit
> https://dev.eclipse.org/mailman/listinfo/incquery-dev
> 
> _______________________________________________
> incquery-dev mailing list
> incquery-dev@xxxxxxxxxxx
> To change your delivery options, retrieve your password, or unsubscribe from this list, visit
> https://dev.eclipse.org/mailman/listinfo/incquery-dev