Re: [racket-users] Freenode -> libera.chat

2021-05-22 Thread Yury Bulka
A more general remank on the governance of these channels (freenode /
libera, but also other non-IRC venues like Discord or Slack).

I think it is important that there is no ambiguisty as to whether the
Racket project has meaningful control over a given communication
channel.

For instance, if there are a Friendly Environment Policy violation or
other issue, there is (or isn't) a way to handle that.

Or simply when there is a need to establish a process for making a
qpolicy decision regarding a particular channel (like migration or
non-migration from freenode to libera).

--
Yury Bulka
https://mamot.fr/@setthemfree
#NotOnFacebook



Nathaniel W Griswold  writes:

> There is some strangeness with the freenode situation. Andrew Lee posted a 
> pdf publicly and is talking about it right now on this thread if you haven't 
> seen it: https://news.ycombinator.com/item?id=27234542
>
> Nate
>
>> On May 20, 2021, at 2:30 PM, Stephen De Gabrielle  
>> wrote:
>> 
>> I don’t use IRC much/ever - but in the event the irc links need to change 
>> from freenode, links are present in the following places:
>> 
>> 1. Homepage
>> 2. https://racket-lang.org/irc-chat.html
>> 3. Wiki - github
>> 4. Reddit - mod access required
>> 
>> Current text: #racket IRC on freenode.net
>> Replacement text: #racket IRC on irc.libera.chat
>> 
>> Current link: https://webchat.freenode.net/#racket
>> Replacement link: https://kiwiirc.com/nextclient/irc.libera.chat/#racket 
>> (Thanks to Tony Garnock-Jones )
>> 
>> 
>> S.
>> 
>> 
>> On Thu, 20 May 2021 at 14:16, Tony Garnock-Jones  
>> wrote:
>> https://web.archive.org/web/20210520002957/http://kline.sh/ is a good 
>> starting point.
>> 
>> On 20 May 2021, 15:12, at 15:12, David Storrs  wrote:
>> >What happened with Freenode?
>> >
>> >On Thu, May 20, 2021 at 8:12 AM Tony Garnock-Jones <
>> >to...@leastfixedpoint.com> wrote:
>> >
>> >> On 5/20/21 1:28 PM, Paulo Matos wrote:
>> >> > Tony Garnock-Jones writes:
>> >> >> With the recent damage to the Freenode IRC network, a new
>> >`#racket` has
>> >> >> been founded on irc.libera.chat.
>> >> >
>> >> > Is this to become the canonical IRC chat room for Racket?
>> >>
>> >> ¯\_(ツ)_/¯
>> >>
>> >> I'd be in favour of moving off Freenode, myself.
>> >>
>> >> What would need updating? Presumably little more than the following:
>> >>
>> >>- https://racket-lang.org/irc-chat.html
>> >>
>> >> ? Is freenode mentioned anywhere else?
>> >>
>> >> Cheers,
>> >>Tony
>> >>
>> >> --
>> >> You received this message because you are subscribed to the Google
>> >Groups
>> >> "Racket Users" group.
>> >> To unsubscribe from this group and stop receiving emails from it,
>> >send an
>> >> email to racket-users+unsubscr...@googlegroups.com.
>> >> To view this discussion on the web visit
>> >>
>> >https://groups.google.com/d/msgid/racket-users/4956afef-9ef6-cf9d-d2ce-61d83d3780ec%40leastfixedpoint.com
>> >> .
>> >>
>> 
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to racket-users+unsubscr...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/1fe52f10-762a-483c-b4fc-ea35e3cb0aa8%40leastfixedpoint.com.
>> -- 
>> 
>> 
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to racket-users+unsubscr...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/CAGHj7-%2B180mERTwmRAroKKepSnWMVOxPHcm0-X2EvXK0v6eAMA%40mail.gmail.com.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/87pmxj6rb9.fsf%40privacyrequired.com.


Re: [racket-users] Freenode -> libera.chat

2021-05-21 Thread Nathaniel W Griswold
There is some strangeness with the freenode situation. Andrew Lee posted a pdf 
publicly and is talking about it right now on this thread if you haven't seen 
it: https://news.ycombinator.com/item?id=27234542

Nate

> On May 20, 2021, at 2:30 PM, Stephen De Gabrielle  
> wrote:
> 
> I don’t use IRC much/ever - but in the event the irc links need to change 
> from freenode, links are present in the following places:
> 
> 1. Homepage
> 2. https://racket-lang.org/irc-chat.html
> 3. Wiki - github
> 4. Reddit - mod access required
> 
> Current text: #racket IRC on freenode.net
> Replacement text: #racket IRC on irc.libera.chat
> 
> Current link: https://webchat.freenode.net/#racket
> Replacement link: https://kiwiirc.com/nextclient/irc.libera.chat/#racket 
> (Thanks to Tony Garnock-Jones )
> 
> 
> S.
> 
> 
> On Thu, 20 May 2021 at 14:16, Tony Garnock-Jones  
> wrote:
> https://web.archive.org/web/20210520002957/http://kline.sh/ is a good 
> starting point.
> 
> On 20 May 2021, 15:12, at 15:12, David Storrs  wrote:
> >What happened with Freenode?
> >
> >On Thu, May 20, 2021 at 8:12 AM Tony Garnock-Jones <
> >to...@leastfixedpoint.com> wrote:
> >
> >> On 5/20/21 1:28 PM, Paulo Matos wrote:
> >> > Tony Garnock-Jones writes:
> >> >> With the recent damage to the Freenode IRC network, a new
> >`#racket` has
> >> >> been founded on irc.libera.chat.
> >> >
> >> > Is this to become the canonical IRC chat room for Racket?
> >>
> >> ¯\_(ツ)_/¯
> >>
> >> I'd be in favour of moving off Freenode, myself.
> >>
> >> What would need updating? Presumably little more than the following:
> >>
> >>- https://racket-lang.org/irc-chat.html
> >>
> >> ? Is freenode mentioned anywhere else?
> >>
> >> Cheers,
> >>Tony
> >>
> >> --
> >> You received this message because you are subscribed to the Google
> >Groups
> >> "Racket Users" group.
> >> To unsubscribe from this group and stop receiving emails from it,
> >send an
> >> email to racket-users+unsubscr...@googlegroups.com.
> >> To view this discussion on the web visit
> >>
> >https://groups.google.com/d/msgid/racket-users/4956afef-9ef6-cf9d-d2ce-61d83d3780ec%40leastfixedpoint.com
> >> .
> >>
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/1fe52f10-762a-483c-b4fc-ea35e3cb0aa8%40leastfixedpoint.com.
> -- 
> 
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/CAGHj7-%2B180mERTwmRAroKKepSnWMVOxPHcm0-X2EvXK0v6eAMA%40mail.gmail.com.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/B1BEEED9-F282-429E-B50B-18AB487A77FA%40manicmind.earth.


Re: [racket-users] Freenode -> libera.chat

2021-05-20 Thread Stephen De Gabrielle
I don’t use IRC much/ever - but in the event the irc links need to change
from freenode, links are present in the following places:

1. Homepage
2. https://racket-lang.org/irc-chat.html
3. Wiki - github
4. Reddit - mod access required

Current text: #racket IRC  on
freenode.net
Replacement text: #racket IRC on irc.libera.chat

Current link: https://webchat.freenode.net/#racket
Replacement link: https://kiwiirc.com/nextclient/irc.libera.chat/#racket
(Thanks to Tony Garnock-Jones )


S.


On Thu, 20 May 2021 at 14:16, Tony Garnock-Jones 
wrote:

> https://web.archive.org/web/20210520002957/http://kline.sh/ is a good
> starting point.
>
> On 20 May 2021, 15:12, at 15:12, David Storrs 
> wrote:
> >What happened with Freenode?
> >
> >On Thu, May 20, 2021 at 8:12 AM Tony Garnock-Jones <
> >to...@leastfixedpoint.com> wrote:
> >
> >> On 5/20/21 1:28 PM, Paulo Matos wrote:
> >> > Tony Garnock-Jones writes:
> >> >> With the recent damage to the Freenode IRC network, a new
> >`#racket` has
> >> >> been founded on irc.libera.chat.
> >> >
> >> > Is this to become the canonical IRC chat room for Racket?
> >>
> >> ¯\_(ツ)_/¯
> >>
> >> I'd be in favour of moving off Freenode, myself.
> >>
> >> What would need updating? Presumably little more than the following:
> >>
> >>- https://racket-lang.org/irc-chat.html
> >>
> >> ? Is freenode mentioned anywhere else?
> >>
> >> Cheers,
> >>Tony
> >>
> >> --
> >> You received this message because you are subscribed to the Google
> >Groups
> >> "Racket Users" group.
> >> To unsubscribe from this group and stop receiving emails from it,
> >send an
> >> email to racket-users+unsubscr...@googlegroups.com.
> >> To view this discussion on the web visit
> >>
> >
> https://groups.google.com/d/msgid/racket-users/4956afef-9ef6-cf9d-d2ce-61d83d3780ec%40leastfixedpoint.com
> >> .
> >>
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/1fe52f10-762a-483c-b4fc-ea35e3cb0aa8%40leastfixedpoint.com
> .
>
-- 


-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAGHj7-%2B180mERTwmRAroKKepSnWMVOxPHcm0-X2EvXK0v6eAMA%40mail.gmail.com.


Re: [racket-users] Freenode -> libera.chat

2021-05-20 Thread Tony Garnock-Jones
https://web.archive.org/web/20210520002957/http://kline.sh/ is a good starting 
point.

On 20 May 2021, 15:12, at 15:12, David Storrs  wrote:
>What happened with Freenode?
>
>On Thu, May 20, 2021 at 8:12 AM Tony Garnock-Jones <
>to...@leastfixedpoint.com> wrote:
>
>> On 5/20/21 1:28 PM, Paulo Matos wrote:
>> > Tony Garnock-Jones writes:
>> >> With the recent damage to the Freenode IRC network, a new
>`#racket` has
>> >> been founded on irc.libera.chat.
>> >
>> > Is this to become the canonical IRC chat room for Racket?
>>
>> ¯\_(ツ)_/¯
>>
>> I'd be in favour of moving off Freenode, myself.
>>
>> What would need updating? Presumably little more than the following:
>>
>>- https://racket-lang.org/irc-chat.html
>>
>> ? Is freenode mentioned anywhere else?
>>
>> Cheers,
>>Tony
>>
>> --
>> You received this message because you are subscribed to the Google
>Groups
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it,
>send an
>> email to racket-users+unsubscr...@googlegroups.com.
>> To view this discussion on the web visit
>>
>https://groups.google.com/d/msgid/racket-users/4956afef-9ef6-cf9d-d2ce-61d83d3780ec%40leastfixedpoint.com
>> .
>>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/1fe52f10-762a-483c-b4fc-ea35e3cb0aa8%40leastfixedpoint.com.


Re: [racket-users] Freenode -> libera.chat

2021-05-20 Thread David Storrs
What happened with Freenode?

On Thu, May 20, 2021 at 8:12 AM Tony Garnock-Jones <
to...@leastfixedpoint.com> wrote:

> On 5/20/21 1:28 PM, Paulo Matos wrote:
> > Tony Garnock-Jones writes:
> >> With the recent damage to the Freenode IRC network, a new `#racket` has
> >> been founded on irc.libera.chat.
> >
> > Is this to become the canonical IRC chat room for Racket?
>
> ¯\_(ツ)_/¯
>
> I'd be in favour of moving off Freenode, myself.
>
> What would need updating? Presumably little more than the following:
>
>- https://racket-lang.org/irc-chat.html
>
> ? Is freenode mentioned anywhere else?
>
> Cheers,
>Tony
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/4956afef-9ef6-cf9d-d2ce-61d83d3780ec%40leastfixedpoint.com
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAE8gKodDbgZ6jTi9sVN-950ZY_OPLdNvEqWCoZZp1p4gYoBJuQ%40mail.gmail.com.


Re: [racket-users] Freenode -> libera.chat

2021-05-20 Thread Tony Garnock-Jones

On 5/20/21 1:28 PM, Paulo Matos wrote:

Tony Garnock-Jones writes:

With the recent damage to the Freenode IRC network, a new `#racket` has
been founded on irc.libera.chat.


Is this to become the canonical IRC chat room for Racket?


¯\_(ツ)_/¯

I'd be in favour of moving off Freenode, myself.

What would need updating? Presumably little more than the following:

  - https://racket-lang.org/irc-chat.html

? Is freenode mentioned anywhere else?

Cheers,
  Tony

--
You received this message because you are subscribed to the Google Groups "Racket 
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/4956afef-9ef6-cf9d-d2ce-61d83d3780ec%40leastfixedpoint.com.


Re: [racket-users] Freenode -> libera.chat

2021-05-20 Thread Paulo Matos


Tony Garnock-Jones writes:

> Just a heads up,
>
> With the recent damage to the Freenode IRC network, a new `#racket` has 
> been founded on irc.libera.chat.
>
> I've moved over there (nick `tonyg` still) and deleted my Freenode account 
> (such as it was).

Is this to become the canonical IRC chat room for Racket?

-- 
Paulo Matos

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/874kex63vt.fsf%40linki.tools.