Re: DIS: Github Request

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

DIS: Github Request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

Re: DIS: GitHub request

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

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.

DIS: GitHub request

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

Re: DIS: GitHub Request

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

Re: DIS: GitHub Request

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

Re: DIS: GitHub Request

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!

DIS: GitHub Request

Can someone please add me (github.com/alercah) to the GitHub organization so that I can add the Tailor's report? Thanks!