[PATCH] Delete GCJ

classic Classic list List threaded Threaded
63 messages Options
1234
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH] Delete GCJ

Per Bothner
On 01/23/2017 01:05 AM, Jakub Jelinek wrote:

> On Mon, Jan 23, 2017 at 09:01:24AM +0000, Andrew Haley wrote:
>> On 22/01/17 18:41, Per Bothner wrote:
>>> In my opinion, all/most of these should be restored.
>>
>> Because of the historical interest?  That's a good point, and perhaps
>> I was too hasty.  Sorry.
>
> But then it should be probably moved somewhere where Gerald won't have to
> spent time maintaining those pages (verification of URLs in there, updating
> them when they are moved etc.).

The last part is moot, as we should strive to not move pages and thus break links.
--
        --Per Bothner
[hidden email]   http://per.bothner.com/
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH] Delete GCJ

Jakub Jelinek
On Mon, Jan 23, 2017 at 04:51:44AM -0800, Per Bothner wrote:

> On 01/23/2017 01:05 AM, Jakub Jelinek wrote:
> > On Mon, Jan 23, 2017 at 09:01:24AM +0000, Andrew Haley wrote:
> > > On 22/01/17 18:41, Per Bothner wrote:
> > > > In my opinion, all/most of these should be restored.
> > >
> > > Because of the historical interest?  That's a good point, and perhaps
> > > I was too hasty.  Sorry.
> >
> > But then it should be probably moved somewhere where Gerald won't have to
> > spent time maintaining those pages (verification of URLs in there, updating
> > them when they are moved etc.).
>
> The last part is moot, as we should strive to not move pages and thus break links.

I meant updating URLs in the pages when they refer to external web pages
which move over time (or switch from http to https, or disappear, etc.).  Gerald
does a great job handling that, but if there are too many pages for
historical purpose only, it will make his work harder.

        Jakub
Reply | Threaded
Open this post in threaded view
|

Re: [PATCH] Delete GCJ

Andrew Haley
On 23/01/17 13:41, Jakub Jelinek wrote:
> On Mon, Jan 23, 2017 at 04:51:44AM -0800, Per Bothner wrote:

>> The last part is moot, as we should strive to not move pages and thus break links.
>
> I meant updating URLs in the pages when they refer to external web pages
> which move over time (or switch from http to https, or disappear, etc.).  Gerald
> does a great job handling that, but if there are too many pages for
> historical purpose only, it will make his work harder.

We can redirect to somewhere else.

Andrew.


1234