public inbox for gdb-patches@sourceware.org
 help / color / mirror / Atom feed
* [wiki] GitMirrors page is out of date...
@ 2014-02-10  8:03 Joel Brobecker
  2014-02-10 10:21 ` Pedro Alves
  0 siblings, 1 reply; 4+ messages in thread
From: Joel Brobecker @ 2014-02-10  8:03 UTC (permalink / raw)
  To: gdb-patches

Hello,

I just happened to notice that we have a GitMirrors page in our Wiki,
which has become obsolete now that we've switched to git.

The page mentions the old mirror on sourceware.org, and one maintained
by Sergio. Should we update the page, or just get rid of it?

Thanks,
-- 
Joel

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [wiki] GitMirrors page is out of date...
  2014-02-10  8:03 [wiki] GitMirrors page is out of date Joel Brobecker
@ 2014-02-10 10:21 ` Pedro Alves
  2014-02-10 10:31   ` Joel Brobecker
  0 siblings, 1 reply; 4+ messages in thread
From: Pedro Alves @ 2014-02-10 10:21 UTC (permalink / raw)
  To: Joel Brobecker; +Cc: gdb-patches

On 02/10/2014 08:03 AM, Joel Brobecker wrote:
> Hello,
> 
> I just happened to notice that we have a GitMirrors page in our Wiki,
> which has become obsolete now that we've switched to git.
> 
> The page mentions the old mirror on sourceware.org, and one maintained
> by Sergio. Should we update the page, or just get rid of it?

Update it, IMO.  (As long as the repro still exists, which I
think it should, due to the fact that we have references to
hashes in that repro in bugzilla and the mailing lists.)
Well, I just went ahead and did it.

-- 
Pedro Alves

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [wiki] GitMirrors page is out of date...
  2014-02-10 10:21 ` Pedro Alves
@ 2014-02-10 10:31   ` Joel Brobecker
  2014-02-17 20:24     ` Sergio Durigan Junior
  0 siblings, 1 reply; 4+ messages in thread
From: Joel Brobecker @ 2014-02-10 10:31 UTC (permalink / raw)
  To: Pedro Alves; +Cc: gdb-patches

> > The page mentions the old mirror on sourceware.org, and one maintained
> > by Sergio. Should we update the page, or just get rid of it?
> 
> Update it, IMO.  (As long as the repro still exists, which I
> think it should, due to the fact that we have references to
> hashes in that repro in bugzilla and the mailing lists.)
> Well, I just went ahead and did it.

That makes sense, and works for me. Thanks a lot, Pedro!

-- 
Joel

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [wiki] GitMirrors page is out of date...
  2014-02-10 10:31   ` Joel Brobecker
@ 2014-02-17 20:24     ` Sergio Durigan Junior
  0 siblings, 0 replies; 4+ messages in thread
From: Sergio Durigan Junior @ 2014-02-17 20:24 UTC (permalink / raw)
  To: Joel Brobecker; +Cc: Pedro Alves, gdb-patches

On Monday, February 10 2014, Joel Brobecker wrote:

>> > The page mentions the old mirror on sourceware.org, and one maintained
>> > by Sergio. Should we update the page, or just get rid of it?
>> 
>> Update it, IMO.  (As long as the repro still exists, which I
>> think it should, due to the fact that we have references to
>> hashes in that repro in bugzilla and the mailing lists.)
>> Well, I just went ahead and did it.
>
> That makes sense, and works for me. Thanks a lot, Pedro!

Thanks, both of you.  While I agree with Pedro that we should keep the
page there, I no longer maintain the mirror on Gitorious, so I will
remove it from the page.  If I ever have the time/patience to set it up
again, I will re-add it.

-- 
Sergio

^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2014-02-17 20:24 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-02-10  8:03 [wiki] GitMirrors page is out of date Joel Brobecker
2014-02-10 10:21 ` Pedro Alves
2014-02-10 10:31   ` Joel Brobecker
2014-02-17 20:24     ` Sergio Durigan Junior

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).