Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: domain of demizide@gmail.com designates 2a00:1450:4010:c07::22f as permitted sender) client-ip=2a00:1450:4010:c07::22f;
MIME-Version: 1.0
In-Reply-To: <20160905070016.GR29323@stodi.digitalkingdom.org>
References: <20160905070016.GR29323@stodi.digitalkingdom.org>
From: =?UTF-8?Q?Johannes_L=C3=B6thberg?= <demizide@gmail.com>
Date: Mon, 5 Sep 2016 09:07:24 +0200
Message-ID: <CAAtyx0XcTrD=PPznQyE33Qtw7ErMcdA82f0TKBrvF0dDq2tBzg@mail.gmail.com>
Subject: Re: [lojban] HELP: git clone of lojban/jbofihe?
To: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=94eb2c0dbce83ec618053bbd564c
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -1.8
X-Spam_score_int: -17
X-Spam_bar: -

--94eb2c0dbce83ec618053bbd564c
Content-Type: text/plain; charset=UTF-8

It had the same commits that are on the master branch there right now,
other than the two merges you did.

On Mon, Sep 5, 2016 at 9:00 AM, Robin Lee Powell <
rlpowell@digitalkingdom.org> wrote:

>
> So I've made https://github.com/lojban/jbofihe/ with the intent of
> this being the master version.
>
> Apparently, though, this already existed!
>
> https://github.com/zorun/jbofihe/commit/f926b178d85aebad6f76603464fe21
> b5ed7970f2#diff-2045016cb90d1e65d71c2407a2570927R79
>
> ^^ that commit is 4 years ago
>
> Does anyone have a git clone of whatever version of jbofihe used to
> exist there??
>
> --
> 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.
>

-- 
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.

--94eb2c0dbce83ec618053bbd564c
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">It had the same commits that are on the master branch ther=
e right now, other than the two merges you did.</div><div class=3D"gmail_ex=
tra"><br><div class=3D"gmail_quote">On Mon, Sep 5, 2016 at 9:00 AM, Robin L=
ee Powell <span dir=3D"ltr">&lt;<a href=3D"mailto:rlpowell@digitalkingdom.o=
rg" target=3D"_blank">rlpowell@digitalkingdom.org</a>&gt;</span> wrote:<br>=
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><br>
So I&#39;ve made <a href=3D"https://github.com/lojban/jbofihe/" rel=3D"nore=
ferrer" target=3D"_blank">https://github.com/lojban/<wbr>jbofihe/</a> with =
the intent of<br>
this being the master version.<br>
<br>
Apparently, though, this already existed!<br>
<br>
<a href=3D"https://github.com/zorun/jbofihe/commit/f926b178d85aebad6f766034=
64fe21b5ed7970f2#diff-2045016cb90d1e65d71c2407a2570927R79" rel=3D"noreferre=
r" target=3D"_blank">https://github.com/zorun/<wbr>jbofihe/commit/<wbr>f926=
b178d85aebad6f76603464fe21<wbr>b5ed7970f2#diff-<wbr>2045016cb90d1e65d71c240=
7a25709<wbr>27R79</a><br>
<br>
^^ that commit is 4 years ago<br>
<br>
Does anyone have a git clone of whatever version of jbofihe used to<br>
exist there??<br>
<span class=3D"HOEnZb"><font color=3D"#888888"><br>
--<br>
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br>
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban%2Bunsubscribe@googlegroups.com">lojban+uns=
ubscribe@<wbr>googlegroups.com</a>.<br>
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br>
Visit this group at <a href=3D"https://groups.google.com/group/lojban" rel=
=3D"noreferrer" target=3D"_blank">https://groups.google.com/<wbr>group/lojb=
an</a>.<br>
For more options, visit <a href=3D"https://groups.google.com/d/optout" rel=
=3D"noreferrer" target=3D"_blank">https://groups.google.com/d/<wbr>optout</=
a>.<br>
</font></span></blockquote></div><br></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"https://groups.google.com/group/lojban">http=
s://groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--94eb2c0dbce83ec618053bbd564c--