Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: domain of greg_g@posteo.net designates 185.67.36.65 as permitted sender) client-ip=185.67.36.65;
Date: Sat, 30 Dec 2017 10:04:02 +0100
User-Agent: K-9 Mail for Android
In-Reply-To: <5c4abb11-61a4-4eb0-ad7c-d0a267e61c73@googlegroups.com>
References: <8929082b-8275-4e7b-b759-939361737a1e@googlegroups.com> <0719efc8-5efb-4bf5-842b-35ea0e682ce1@googlegroups.com> <a09d9ff4-5d90-cbd0-37e2-64d4b5c0147b@posteo.net> <5c4abb11-61a4-4eb0-ad7c-d0a267e61c73@googlegroups.com>
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="----L5YPJDFIOEU78GXX51OZF3FTYVB1P7"
Content-Transfer-Encoding: 7bit
Subject: Re: [lojban] Re: Github repositories (was: The Wizard of Oz)
To: lojban@googlegroups.com
From: Gregorio Guidi <greg_g@posteo.net>
Message-ID: <7BD501D3-9562-466F-A50D-E9E97D9351F5@posteo.net>
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -4.2
X-Spam_score_int: -41
X-Spam_bar: ----

------L5YPJDFIOEU78GXX51OZF3FTYVB1P7
Content-Type: text/plain; charset="UTF-8"


On December 30, 2017 6:43:40 AM CET, guskant <gusni.kantu@gmail.com> wrote:
> [...]
>The proposal of creating a github organisation account of BPFK is
>discussed 
>here:
>
>https://groups.google.com/d/topic/bpfk-list/cq6bheKFN3A/discussion
>
>There was an alternative suggestion to do that rather on Gitlab instead
>of 
>Github. In the case that the BPFK will copy some repositories of the
>Lojban 
>Coders' Group into Gitlab, the treatment of issues that are already put
>on 
>Github seems to be difficult, and the discussion is slowly ongoing.
>
>> By the way, to better understand the current situation, could you 
>> clarify which are the users that have "owner" privileges on the
>"lojban" 
>> github account, as of now? 
>>
>>
>I don't know which members have the owner privilege on the Lojban
>Coders' 
>Group. 

ki'e guskant
doi rodo If anyone knows the answer to the last question, I would be interested to know.

Gregorio

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

------L5YPJDFIOEU78GXX51OZF3FTYVB1P7
Content-Type: text/html; charset="UTF-8"

<br>
<br>
On December 30, 2017 6:43:40 AM CET, guskant &lt;gusni.kantu@gmail.com&gt; wrote:<br>
&gt; [...]<br>
&gt;The proposal of creating a github organisation account of BPFK is<br>
&gt;discussed <br>
&gt;here:<br>
&gt;<br>
&gt;<a href="https://groups.google.com/d/topic/bpfk-list/cq6bheKFN3A/discussion">https://groups.google.com/d/topic/bpfk-list/cq6bheKFN3A/discussion</a><br>
&gt;<br>
&gt;There was an alternative suggestion to do that rather on Gitlab instead<br>
&gt;of <br>
&gt;Github. In the case that the BPFK will copy some repositories of the<br>
&gt;Lojban <br>
&gt;Coders&#39; Group into Gitlab, the treatment of issues that are already put<br>
&gt;on <br>
&gt;Github seems to be difficult, and the discussion is slowly ongoing.<br>
&gt;<br>
&gt;&gt; By the way, to better understand the current situation, could you <br>
&gt;&gt; clarify which are the users that have &quot;owner&quot; privileges on the<br>
&gt;&quot;lojban&quot; <br>
&gt;&gt; github account, as of now? <br>
&gt;&gt;<br>
&gt;&gt;<br>
&gt;I don&#39;t know which members have the owner privilege on the Lojban<br>
&gt;Coders&#39; <br>
&gt;Group. <br>
<br>
ki&#39;e guskant<br>
doi rodo If anyone knows the answer to the last question, I would be interested to know.<br>
<br>
Gregorio<br>

<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 email to <a href="mailto:lojban+unsubscribe@googlegroups.com">lojban+unsubscribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href="mailto:lojban@googlegroups.com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href="https://groups.google.com/group/lojban">https://groups.google.com/group/lojban</a>.<br />
For more options, visit <a href="https://groups.google.com/d/optout">https://groups.google.com/d/optout</a>.<br />

------L5YPJDFIOEU78GXX51OZF3FTYVB1P7--