Re: DIS: Github Request

2020-06-07 Thread Jason Cobb via agora-discussion
On 6/7/20 3:01 PM, nch via agora-discussion wrote:
> Could whoever has the power to add me as an owner on the Agora group? I don't 
> have push access to a bunch of repos which will slow down some things I might 
> want to do as Webmastor, such as update headers across webpages.
>

Done.

-- 
Jason Cobb



Re: DIS: GitHub request

2017-11-18 Thread Owen Jacobson
Nyet.

git submodule add https://github.com/AgoraNomic/Header _includes

will create an _includes subdirectory in the current directory, check out the 
current master of https://github.com/AgoraNomic/Header in it, and link that 
into the repository you’re working in as a submodule. This needs to be run in 
an existing clone of whatever repository you’re making changes to.

I have a few minutes, so I can send you a pull request that does this, if you 
point me at the repository you’re trying to make changes to. Feel free to 
contact me off-list, either at my email or on IRC, if you need a hand with Git: 
Git is notoriously difficult to work with.

-o

> On Nov 18, 2017, at 3:41 PM, ATMunn  wrote:
> 
> So here would I just do:
> 
>   git submodule add https://github.com/AgoraNomic/Header 
> https://github.com/AgoraNomic/ADoP-old/tree/master/_includes
> 
> On 11/18/2017 2:14 PM, Owen Jacobson wrote:
>> With the caveat that submodules have really bad user experience _even by the 
>> standards of Git’s awful UX_:
>>  git submodule add https://github.com/AgoraNomic/Header some-directory 
>> with “some-directory” replaced with whatever’s useful in the context where 
>> you want to include it.
>> To reconstruct submodules that already exist, either clone the repository 
>> with --recursive, or run git submodules update --init --recursive in an 
>> existing clone. (They do the same thing.)
>> -o
>>> On Nov 18, 2017, at 1:59 PM, ATMunn  wrote:
>>> 
>>> So, how would I get that into my new repo?
>>> 
>>> On 11/18/2017 1:45 PM, Owen Jacobson wrote:
 As Aris said, it’s a submodule. What you’re looking at there is the 
 metadata Git keeps to determine which repository, and which commit in that 
 other repository, to use to reconstruct that directory when needed.
 Fortunately, Github links through to the other repository. The root of 
 https://github.com/AgoraNomic/Header/tree/cefaeafa471d76d20482bd46d26c71ecc3345b05
  
 
  is used to fill in that directory.
 -o
> On Nov 18, 2017, at 11:49 AM, ATMunn  wrote:
> 
> I had tried to copy it, but there's no way to copy this 
> https://github.com/AgoraNomic/ADoP-old/tree/master/_includes as it 
> doesn't appear to be a file. I'm not very familiar with Git, so I have no 
> idea what that is or how it got there.
> 
> On 11/14/2017 2:31 PM, Aris Merchant wrote:
>> It's a submodule, which makes it weird. Copying the other one isn't a 
>> bad idea.
>> -Aris
>> On Tue, Nov 14, 2017 at 10:44 AM, ATMunn  wrote:
>>> Hm, I don't know how to include the header. I've tried to copy from the 
>>> old
>>> repo, but I'm having trouble with that. I'm considering just getting 
>>> rid of
>>> my new one and using the old one instead.
>>> 
>>> 
>>> On 11/14/2017 1:11 PM, ATMunn wrote:
 
 Yep, thanks.
 
 On 11/14/2017 1:02 PM, Aris Merchant wrote:
> 
> I'm presuming you're ATMunngit? If so, done.
> 
> -Aris
> 
> On Tue, Nov 14, 2017 at 9:35 AM, ATMunn  
> wrote:
>> 
>> I'd like to join the Agora GitHub group, so I can publish my ADoP
>> reports on
>> there.



signature.asc
Description: Message signed with OpenPGP


Re: DIS: GitHub request

2017-11-18 Thread ATMunn

So here would I just do:

git submodule add https://github.com/AgoraNomic/Header 
https://github.com/AgoraNomic/ADoP-old/tree/master/_includes

On 11/18/2017 2:14 PM, Owen Jacobson wrote:

With the caveat that submodules have really bad user experience _even by the 
standards of Git’s awful UX_:

	git submodule add https://github.com/AgoraNomic/Header some-directory 


with “some-directory” replaced with whatever’s useful in the context where you 
want to include it.

To reconstruct submodules that already exist, either clone the repository with 
--recursive, or run git submodules update --init --recursive in an existing 
clone. (They do the same thing.)

-o


On Nov 18, 2017, at 1:59 PM, ATMunn  wrote:

So, how would I get that into my new repo?

On 11/18/2017 1:45 PM, Owen Jacobson wrote:

As Aris said, it’s a submodule. What you’re looking at there is the metadata 
Git keeps to determine which repository, and which commit in that other 
repository, to use to reconstruct that directory when needed.
Fortunately, Github links through to the other repository. The root of 
https://github.com/AgoraNomic/Header/tree/cefaeafa471d76d20482bd46d26c71ecc3345b05 

 is used to fill in that directory.
-o

On Nov 18, 2017, at 11:49 AM, ATMunn  wrote:

I had tried to copy it, but there's no way to copy this 
https://github.com/AgoraNomic/ADoP-old/tree/master/_includes as it doesn't 
appear to be a file. I'm not very familiar with Git, so I have no idea what 
that is or how it got there.

On 11/14/2017 2:31 PM, Aris Merchant wrote:

It's a submodule, which makes it weird. Copying the other one isn't a bad idea.
-Aris
On Tue, Nov 14, 2017 at 10:44 AM, ATMunn  wrote:

Hm, I don't know how to include the header. I've tried to copy from the old
repo, but I'm having trouble with that. I'm considering just getting rid of
my new one and using the old one instead.


On 11/14/2017 1:11 PM, ATMunn wrote:


Yep, thanks.

On 11/14/2017 1:02 PM, Aris Merchant wrote:


I'm presuming you're ATMunngit? If so, done.

-Aris

On Tue, Nov 14, 2017 at 9:35 AM, ATMunn  wrote:


I'd like to join the Agora GitHub group, so I can publish my ADoP
reports on
there.




Re: DIS: GitHub request

2017-11-18 Thread Owen Jacobson

> On Nov 18, 2017, at 1:52 PM, Alex Smith  wrote:
> 
> On Sat, 2017-11-18 at 13:46 -0500, Owen Jacobson wrote:
>>> On Nov 18, 2017, at 1:45 PM, Owen Jacobson 
>>> wrote:
>>> 
>>> As Aris said, it’s a submodule. What you’re looking at there is the
>>> metadata Git keeps to determine which repository, and which commit
>>> in that other repository, to use to reconstruct that directory when
>>> needed.
>>> 
>>> Fortunately, Github links through to the other repository. The root
>>> of https://github.com/AgoraNomic/Header/tree/cefaeafa471d76d20482bd
>>> 46d26c71ecc3345b05 >> afa471d76d20482bd46d26c71ecc3345b05> is used to fill in that
>>> directory.
>> 
>> To the Right Honourable Listserv Admin: is there a way to write
>> emails such that links won’t be doubled like this?
> 
> This depends on your email client, not the list server itself. It
> should have a setting called something like "send emails in plain
> text"; if you use that for Agora, the links won't be doubled.
> 
> (Presumably what's happening is that your client is automatically
> converting your email to HTML, then automatically converting it back to
> plaintext for the plaintext portion; that double-conversion is what
> doubles the links.)

Nicely spotted. I didn’t realize my mailer made such a hash of text/plain 
parts. Thanks.

-o



signature.asc
Description: Message signed with OpenPGP


Re: DIS: GitHub request

2017-11-18 Thread Owen Jacobson
With the caveat that submodules have really bad user experience _even by the 
standards of Git’s awful UX_:

git submodule add https://github.com/AgoraNomic/Header some-directory

with “some-directory” replaced with whatever’s useful in the context where you 
want to include it.

To reconstruct submodules that already exist, either clone the repository with 
--recursive, or run git submodules update --init --recursive in an existing 
clone. (They do the same thing.)

-o

> On Nov 18, 2017, at 1:59 PM, ATMunn  wrote:
> 
> So, how would I get that into my new repo?
> 
> On 11/18/2017 1:45 PM, Owen Jacobson wrote:
>> As Aris said, it’s a submodule. What you’re looking at there is the metadata 
>> Git keeps to determine which repository, and which commit in that other 
>> repository, to use to reconstruct that directory when needed.
>> Fortunately, Github links through to the other repository. The root of 
>> https://github.com/AgoraNomic/Header/tree/cefaeafa471d76d20482bd46d26c71ecc3345b05
>>  
>> 
>>  is used to fill in that directory.
>> -o
>>> On Nov 18, 2017, at 11:49 AM, ATMunn  wrote:
>>> 
>>> I had tried to copy it, but there's no way to copy this 
>>> https://github.com/AgoraNomic/ADoP-old/tree/master/_includes as it doesn't 
>>> appear to be a file. I'm not very familiar with Git, so I have no idea what 
>>> that is or how it got there.
>>> 
>>> On 11/14/2017 2:31 PM, Aris Merchant wrote:
 It's a submodule, which makes it weird. Copying the other one isn't a bad 
 idea.
 -Aris
 On Tue, Nov 14, 2017 at 10:44 AM, ATMunn  wrote:
> Hm, I don't know how to include the header. I've tried to copy from the 
> old
> repo, but I'm having trouble with that. I'm considering just getting rid 
> of
> my new one and using the old one instead.
> 
> 
> On 11/14/2017 1:11 PM, ATMunn wrote:
>> 
>> Yep, thanks.
>> 
>> On 11/14/2017 1:02 PM, Aris Merchant wrote:
>>> 
>>> I'm presuming you're ATMunngit? If so, done.
>>> 
>>> -Aris
>>> 
>>> On Tue, Nov 14, 2017 at 9:35 AM, ATMunn  wrote:
 
 I'd like to join the Agora GitHub group, so I can publish my ADoP
 reports on
 there.



signature.asc
Description: Message signed with OpenPGP


Re: DIS: GitHub request

2017-11-18 Thread Alex Smith
On Sat, 2017-11-18 at 13:46 -0500, Owen Jacobson wrote:
> > On Nov 18, 2017, at 1:45 PM, Owen Jacobson 
> > wrote:
> > 
> > As Aris said, it’s a submodule. What you’re looking at there is the
> > metadata Git keeps to determine which repository, and which commit
> > in that other repository, to use to reconstruct that directory when
> > needed.
> > 
> > Fortunately, Github links through to the other repository. The root
> > of https://github.com/AgoraNomic/Header/tree/cefaeafa471d76d20482bd
> > 46d26c71ecc3345b05  > afa471d76d20482bd46d26c71ecc3345b05> is used to fill in that
> > directory.
> 
> To the Right Honourable Listserv Admin: is there a way to write
> emails such that links won’t be doubled like this?

This depends on your email client, not the list server itself. It
should have a setting called something like "send emails in plain
text"; if you use that for Agora, the links won't be doubled.

(Presumably what's happening is that your client is automatically
converting your email to HTML, then automatically converting it back to
plaintext for the plaintext portion; that double-conversion is what
doubles the links.)

-- 
ais523


Re: DIS: GitHub request

2017-11-18 Thread ATMunn

So, how would I get that into my new repo?

On 11/18/2017 1:45 PM, Owen Jacobson wrote:

As Aris said, it’s a submodule. What you’re looking at there is the metadata 
Git keeps to determine which repository, and which commit in that other 
repository, to use to reconstruct that directory when needed.

Fortunately, Github links through to the other repository. The root of 
https://github.com/AgoraNomic/Header/tree/cefaeafa471d76d20482bd46d26c71ecc3345b05 

 is used to fill in that directory.

-o


On Nov 18, 2017, at 11:49 AM, ATMunn  wrote:

I had tried to copy it, but there's no way to copy this 
https://github.com/AgoraNomic/ADoP-old/tree/master/_includes as it doesn't 
appear to be a file. I'm not very familiar with Git, so I have no idea what 
that is or how it got there.

On 11/14/2017 2:31 PM, Aris Merchant wrote:

It's a submodule, which makes it weird. Copying the other one isn't a bad idea.
-Aris
On Tue, Nov 14, 2017 at 10:44 AM, ATMunn  wrote:

Hm, I don't know how to include the header. I've tried to copy from the old
repo, but I'm having trouble with that. I'm considering just getting rid of
my new one and using the old one instead.


On 11/14/2017 1:11 PM, ATMunn wrote:


Yep, thanks.

On 11/14/2017 1:02 PM, Aris Merchant wrote:


I'm presuming you're ATMunngit? If so, done.

-Aris

On Tue, Nov 14, 2017 at 9:35 AM, ATMunn  wrote:


I'd like to join the Agora GitHub group, so I can publish my ADoP
reports on
there.




Re: DIS: GitHub request

2017-11-18 Thread Owen Jacobson

> On Nov 18, 2017, at 1:45 PM, Owen Jacobson  wrote:
> 
> As Aris said, it’s a submodule. What you’re looking at there is the metadata 
> Git keeps to determine which repository, and which commit in that other 
> repository, to use to reconstruct that directory when needed.
> 
> Fortunately, Github links through to the other repository. The root of 
> https://github.com/AgoraNomic/Header/tree/cefaeafa471d76d20482bd46d26c71ecc3345b05
>  
> 
>  is used to fill in that directory.

To the Right Honourable Listserv Admin: is there a way to write emails such 
that links won’t be doubled like this?

-o



signature.asc
Description: Message signed with OpenPGP


Re: DIS: GitHub request

2017-11-18 Thread Owen Jacobson
As Aris said, it’s a submodule. What you’re looking at there is the metadata 
Git keeps to determine which repository, and which commit in that other 
repository, to use to reconstruct that directory when needed.

Fortunately, Github links through to the other repository. The root of 
https://github.com/AgoraNomic/Header/tree/cefaeafa471d76d20482bd46d26c71ecc3345b05
 

 is used to fill in that directory.

-o

> On Nov 18, 2017, at 11:49 AM, ATMunn  wrote:
> 
> I had tried to copy it, but there's no way to copy this 
> https://github.com/AgoraNomic/ADoP-old/tree/master/_includes as it doesn't 
> appear to be a file. I'm not very familiar with Git, so I have no idea what 
> that is or how it got there.
> 
> On 11/14/2017 2:31 PM, Aris Merchant wrote:
>> It's a submodule, which makes it weird. Copying the other one isn't a bad 
>> idea.
>> -Aris
>> On Tue, Nov 14, 2017 at 10:44 AM, ATMunn  wrote:
>>> Hm, I don't know how to include the header. I've tried to copy from the old
>>> repo, but I'm having trouble with that. I'm considering just getting rid of
>>> my new one and using the old one instead.
>>> 
>>> 
>>> On 11/14/2017 1:11 PM, ATMunn wrote:
 
 Yep, thanks.
 
 On 11/14/2017 1:02 PM, Aris Merchant wrote:
> 
> I'm presuming you're ATMunngit? If so, done.
> 
> -Aris
> 
> On Tue, Nov 14, 2017 at 9:35 AM, ATMunn  wrote:
>> 
>> I'd like to join the Agora GitHub group, so I can publish my ADoP
>> reports on
>> there.



signature.asc
Description: Message signed with OpenPGP


Re: DIS: GitHub request

2017-11-18 Thread ATMunn

I had tried to copy it, but there's no way to copy this 
https://github.com/AgoraNomic/ADoP-old/tree/master/_includes as it doesn't 
appear to be a file. I'm not very familiar with Git, so I have no idea what 
that is or how it got there.

On 11/14/2017 2:31 PM, Aris Merchant wrote:

It's a submodule, which makes it weird. Copying the other one isn't a bad idea.

-Aris

On Tue, Nov 14, 2017 at 10:44 AM, ATMunn  wrote:

Hm, I don't know how to include the header. I've tried to copy from the old
repo, but I'm having trouble with that. I'm considering just getting rid of
my new one and using the old one instead.


On 11/14/2017 1:11 PM, ATMunn wrote:


Yep, thanks.

On 11/14/2017 1:02 PM, Aris Merchant wrote:


I'm presuming you're ATMunngit? If so, done.

-Aris

On Tue, Nov 14, 2017 at 9:35 AM, ATMunn  wrote:


I'd like to join the Agora GitHub group, so I can publish my ADoP
reports on
there.


Re: DIS: GitHub request

2017-11-14 Thread Aris Merchant
It's a submodule, which makes it weird. Copying the other one isn't a bad idea.

-Aris

On Tue, Nov 14, 2017 at 10:44 AM, ATMunn  wrote:
> Hm, I don't know how to include the header. I've tried to copy from the old
> repo, but I'm having trouble with that. I'm considering just getting rid of
> my new one and using the old one instead.
>
>
> On 11/14/2017 1:11 PM, ATMunn wrote:
>>
>> Yep, thanks.
>>
>> On 11/14/2017 1:02 PM, Aris Merchant wrote:
>>>
>>> I'm presuming you're ATMunngit? If so, done.
>>>
>>> -Aris
>>>
>>> On Tue, Nov 14, 2017 at 9:35 AM, ATMunn  wrote:

 I'd like to join the Agora GitHub group, so I can publish my ADoP
 reports on
 there.


Re: DIS: GitHub request

2017-11-14 Thread ATMunn

Hm, I don't know how to include the header. I've tried to copy from the old 
repo, but I'm having trouble with that. I'm considering just getting rid of my 
new one and using the old one instead.

On 11/14/2017 1:11 PM, ATMunn wrote:

Yep, thanks.

On 11/14/2017 1:02 PM, Aris Merchant wrote:

I'm presuming you're ATMunngit? If so, done.

-Aris

On Tue, Nov 14, 2017 at 9:35 AM, ATMunn  wrote:

I'd like to join the Agora GitHub group, so I can publish my ADoP reports on
there.


Re: DIS: GitHub request

2017-11-14 Thread ATMunn

Yep, thanks.

On 11/14/2017 1:02 PM, Aris Merchant wrote:

I'm presuming you're ATMunngit? If so, done.

-Aris

On Tue, Nov 14, 2017 at 9:35 AM, ATMunn  wrote:

I'd like to join the Agora GitHub group, so I can publish my ADoP reports on
there.


Re: DIS: GitHub request

2017-11-14 Thread Aris Merchant
I'm presuming you're ATMunngit? If so, done.

-Aris

On Tue, Nov 14, 2017 at 9:35 AM, ATMunn  wrote:
> I'd like to join the Agora GitHub group, so I can publish my ADoP reports on
> there.


Re: DIS: GitHub Request

2017-10-01 Thread Alexis Hunt
Ah ok thanks, I'll poke around at it.

On Sun, 1 Oct 2017 at 12:17 Publius Scribonius Scholasticus <
p.scribonius.scholasti...@googlemail.com> wrote:

> No, you need to enable GitHub Pages, but I would be happy to do that for
> you, fi you don't have time. There is a lot of documentation for it on the
> internet though.
> 
> Publius Scribonius Scholasticus
> p.scribonius.scholasti...@gmail.com
>
>
>
> > On Oct 1, 2017, at 12:08 PM, Alexis Hunt  wrote:
> >
> > Thanks. Is creating a new repository named 'Tailor' enough to make
> /Tailor exist or is there another step?
> >
> > On Sun, 1 Oct 2017 at 11:56 Publius Scribonius Scholasticus <
> p.scribonius.scholasti...@googlemail.com> wrote:
> > Done.
> > 
> > Publius Scribonius Scholasticus
> > p.scribonius.scholasti...@gmail.com
> >
> >
> >
> > > On Oct 1, 2017, at 11:48 AM, Alexis Hunt  wrote:
> > >
> > > Can someone please add me (github.com/alercah) to the GitHub
> organization so that I can add the Tailor's report?
> > >
> > > Thanks!
> >
>
>


Re: DIS: GitHub Request

2017-10-01 Thread Publius Scribonius Scholasticus
No, you need to enable GitHub Pages, but I would be happy to do that for you, 
fi you don't have time. There is a lot of documentation for it on the internet 
though.

Publius Scribonius Scholasticus
p.scribonius.scholasti...@gmail.com



> On Oct 1, 2017, at 12:08 PM, Alexis Hunt  wrote:
> 
> Thanks. Is creating a new repository named 'Tailor' enough to make /Tailor 
> exist or is there another step?
> 
> On Sun, 1 Oct 2017 at 11:56 Publius Scribonius Scholasticus 
>  wrote:
> Done.
> 
> Publius Scribonius Scholasticus
> p.scribonius.scholasti...@gmail.com
> 
> 
> 
> > On Oct 1, 2017, at 11:48 AM, Alexis Hunt  wrote:
> >
> > Can someone please add me (github.com/alercah) to the GitHub organization 
> > so that I can add the Tailor's report?
> >
> > Thanks!
> 



signature.asc
Description: Message signed with OpenPGP using GPGMail


Re: DIS: GitHub Request

2017-10-01 Thread Publius Scribonius Scholasticus
Done.

Publius Scribonius Scholasticus
p.scribonius.scholasti...@gmail.com



> On Oct 1, 2017, at 11:48 AM, Alexis Hunt  wrote:
> 
> Can someone please add me (github.com/alercah) to the GitHub organization so 
> that I can add the Tailor's report?
> 
> Thanks!



signature.asc
Description: Message signed with OpenPGP using GPGMail