Sender: lojban@googlegroups.com
Date: Fri, 29 Dec 2017 21:43:40 -0800 (PST)
From: guskant <gusni.kantu@gmail.com>
To: lojban <lojban@googlegroups.com>
Message-Id: <5c4abb11-61a4-4eb0-ad7c-d0a267e61c73@googlegroups.com>
In-Reply-To: <a09d9ff4-5d90-cbd0-37e2-64d4b5c0147b@posteo.net>
References: <8929082b-8275-4e7b-b759-939361737a1e@googlegroups.com>
 <0719efc8-5efb-4bf5-842b-35ea0e682ce1@googlegroups.com>
 <a09d9ff4-5d90-cbd0-37e2-64d4b5c0147b@posteo.net>
Subject: [lojban] Re: Github repositories (was: The Wizard of Oz)
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_28948_1881702297.1514612620963"
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: -

------=_Part_28948_1881702297.1514612620963
Content-Type: multipart/alternative; 
	boundary="----=_Part_28949_1119117135.1514612620964"

------=_Part_28949_1119117135.1514612620964
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable


Le vendredi 29 d=C3=A9cembre 2017 16:09:50 UTC, Gregorio Guidi a =C3=A9crit=
 :
>
>
>
> Hello, is there any update on the proposal to create separate github=20
> repositories as mentioned above? I have seen some recent discussions on=
=20
> the bpfk list on the topic of github/gitlab, but it would be nice if any=
=20
> relevant update could be shared here.=20
>
>
The proposal of creating a github organisation account of BPFK is discussed=
=20
here:

https://groups.google.com/d/topic/bpfk-list/cq6bheKFN3A/discussion

There was an alternative suggestion to do that rather on Gitlab instead of=
=20
Github. In the case that the BPFK will copy some repositories of the Lojban=
=20
Coders' Group into Gitlab, the treatment of issues that are already put on=
=20
Github seems to be difficult, and the discussion is slowly ongoing.

=20

> By the way, to better understand the current situation, could you=20
> clarify which are the users that have "owner" privileges on the "lojban"=
=20
> github account, as of now?=20
>
>
I don't know which members have the owner privilege on the Lojban Coders'=
=20
Group.=20

mi'e la guskant

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

------=_Part_28949_1119117135.1514612620964
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><br>Le vendredi 29 d=C3=A9cembre 2017 16:09:50 UTC, Gr=
egorio Guidi a =C3=A9crit=C2=A0:<blockquote class=3D"gmail_quote" style=3D"=
margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;=
"><br>
<br>Hello, is there any update on the proposal to create separate github=20
<br>repositories as mentioned above? I have seen some recent discussions on=
=20
<br>the bpfk list on the topic of github/gitlab, but it would be nice if an=
y=20
<br>relevant update could be shared here.
<br>
<br></blockquote><div><br></div><div>The proposal of creating a github orga=
nisation account of BPFK is discussed here:</div><div><br></div><div>https:=
//groups.google.com/d/topic/bpfk-list/cq6bheKFN3A/discussion<br></div><div>=
<br></div><div>There was an alternative suggestion to do that rather on Git=
lab instead of Github. In the case that the BPFK will copy some repositorie=
s of the Lojban Coders&#39; Group into Gitlab, the treatment of issues that=
 are already put on Github seems to be difficult, and the discussion is slo=
wly ongoing.</div><div><br></div><div>=C2=A0</div><blockquote class=3D"gmai=
l_quote" style=3D"margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;=
padding-left: 1ex;">By the way, to better understand the current situation,=
 could you=20
<br>clarify which are the users that have &quot;owner&quot; privileges on t=
he &quot;lojban&quot;=20
<br>github account, as of now?
<br>
<br></blockquote><div><br></div><div>I don&#39;t know which members have th=
e owner privilege on the Lojban Coders&#39; Group.=C2=A0</div><div>
<br></div><div>mi&#39;e la guskant</div><div><br></div></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 />

------=_Part_28949_1119117135.1514612620964--

------=_Part_28948_1881702297.1514612620963--