Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236;
Date: Sat, 26 Jan 2019 09:18:09 -0800
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Does anyone know the password for the valsi IRC bot?
Message-ID: <20190126171809.GB10070@stodi.digitalkingdom.org>
Mail-Followup-To: lojban@googlegroups.com
References: <20190125071105.GW21194@stodi.digitalkingdom.org>
 <d6f44290-0e34-5d83-32f7-4e1313ea51d0@lojban.org>
 <58943a68-0296-e363-aa0f-5974cee3efbd@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
In-Reply-To: <58943a68-0296-e363-aa0f-5974cee3efbd@gmail.com>
User-Agent: Mutt/1.10.1 (2018-07-13)
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -3.0
X-Spam_score_int: -29
X-Spam_bar: ---

We managed to sync up.  Thanks!

On Sat, Jan 26, 2019 at 04:46:41PM +0100, Ilmen wrote:
> I've already forwarded Robin's email to Alex Burka yesterday, using the
> address mentioned by Lojbab.
>=20
> =E2=80=94Ilmen.
>=20
> On 25/01/2019, Bob LeChevalier wrote:
> > On 1/25/2019 2:11 AM, Robin Lee Powell wrote:
> > >=20
> > > The code for the vlasisku IRC bots (i.e. valsi) calls for a secrets
> > > file with the NickServ password in it, but I don't have that file,
> > > and I'd prefer not to change the bot's name.
> > >=20
> > > Alex Burka might have it, if anyone knows how to contact him?
> >=20
> > He posted to the members list using the following email on 3 January:
> > Alex Burka <durka42@gmail.com>
> >=20
> > lojbab
> >=20
>=20
> --=20
> You received this message because you are subscribed to the Google Groups=
 "lojban" group.
> To unsubscribe from this group and stop receiving emails from it, send an=
 email to lojban+unsubscribe@googlegroups.com.
> To post to this group, send email to lojban@googlegroups.com.
> Visit this group at https://groups.google.com/group/lojban.
> For more options, visit https://groups.google.com/d/optout.
>=20

--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.