Text only | Text with Images

ElkArte Community

Elk Development => Feature Discussion => Exterminated Features => Topic started by: Antechinus on December 26, 2012, 04:38:32 pm

Title: GitHub repo name: Diawot?
Post by: Antechinus on December 26, 2012, 04:38:32 pm
Is that going to be changed? Just asking before I update my fork repo. Might as well only do the settings once. :P
Title: Re: GitHub repo name: Diawot?
Post by: TestMonkey on December 26, 2012, 04:46:48 pm
We might change it, yes. Waiting for him partyman Spuds to notice the elkarte (https://github.com/elkarte) user Ema made. ;)

We already transfered a few basic additional repos. (tools, languages things the project needs)


On a side note (more for SpudsMan), I don't think it's a bad idea necessarily, to fork his own repo over there. Up to his mood: he can transfer it or fork it. We can continue as we're more comfortable with, PR to Spuds' repo or to elkarte user. Same thing cuz it ends up in the same place. A few tradeoffs either way.
Title: Re: GitHub repo name: Diawot?
Post by: Spuds on December 26, 2012, 08:24:51 pm
Yes Ema and I talked about this, he checked on the name availability and was kind enough to get the account when I groveled, OK all I had to do was ask :)

I want to transfer the repo, that is appropriate,  but was waiting for the PR's to be merged (they are now) since moving it before that would muss them a tad.


Title: Re: GitHub repo name: Diawot?
Post by: Antechinus on December 26, 2012, 08:45:22 pm
K. Let us know when you've sorted it and I'll fork the critter. :)
Title: Re: GitHub repo name: Diawot?
Post by: Spuds on December 26, 2012, 10:06:44 pm
Its been transferred, not sure what branches Norv wants to set up so right now its just master ...
Title: Re: GitHub repo name: Diawot?
Post by: TestMonkey on December 27, 2012, 03:24:14 am
There we go: https://github.com/elkarte/Elkarte  8)

Thank you, SpudsMan.

I'll set up the development procedure guidelines and with it the main branches. We already know anyway, it's still us after all. Except Ant doesn't wantz to make a PR, lol.
Title: Re: GitHub repo name: Diawot?
Post by: emanuele on December 27, 2012, 04:42:08 am
YAY!...another repo change... ::) :P
Title: Re: GitHub repo name: Diawot?
Post by: Spuds on December 27, 2012, 10:06:06 am
new name .... Mhuni  .... Swahilli for vagabond  ;D
Title: Re: GitHub repo name: Diawot?
Post by: Antechinus on December 27, 2012, 02:30:59 pm
Quote from: emanuele – YAY!...another repo change... ::) :P
This stuff is way more important than coding.
Text only | Text with Images