Hi Everyone,
I would be in favour of using Google Groups as it integrates nicely with
the Google-hosted Gerrit server. As far as I know, it should be possible
to create custom groups live under a non-Google domain. I.e., it should
be possible to keep gem5-{dev,users}@gem5.org and still use Groups.
Cheers,
Andreas
On 15/10/2018 17:11, Jason Lowe-Power wrote:
Hi Ciro,
I'm not sure what the original reason for not having the archives
public was. It could be to try to keep the server load down.
We're trying to migrate our infrastructure away from self-hosted
things. One step is to move to some cloud-based mailing list. When we
do that, I think it will take care of this problem. Any good
suggestions for cloud-based mailing lists other than google groups?
Cheers,
Jason
On Fri, Oct 12, 2018 at 10:53 AM Ciro Santilli <[email protected]
<mailto:[email protected]>> wrote:
I find it confusing that you sign up for the email at:
http://www.gem5.org/mailman/listinfo/gem5-dev and that has a link
to the archives: http://m5sim.org/mailman/private/gem5-dev/ but
seeing that link requires you to be logged in.
Can we make those archives public? This would make it clear which
is the canonical archive. Now I just randomly choose between GMANE
and Mail Archive. When GMANE is not down that is.
_______________________________________________
gem5-dev mailing list
[email protected] <mailto:[email protected]>
http://m5sim.org/mailman/listinfo/gem5-dev
_______________________________________________
gem5-dev mailing list
[email protected]
http://m5sim.org/mailman/listinfo/gem5-dev
