Re: [lojban] Re: Help request: move things to github for me.

[Dan Rosén <lurifax@gmail.com>]

On Tue, Oct 29, 2013 at 9:08 PM, Robin Lee Powell <rlpowell@digitalkingdom.org> wrote:

Repeating my request:

On Mon, Sep 26, 2011 at 10:58:19PM -0700, Robin Lee Powell wrote:

I'm pretty worn out with all the server move tasks, and I could
really use some help on this one.

At http://teddyb.org/~rlpowell/media/public/for_github.tgz you will
find some svn stuff (only jbovlaste/ needs copying please) and some
CVS stuff (not so sure there; maybe all of it?).

The following things need doing:

1. I'd like them up on github, under https://github.com/lojban ,
with myself as some kind of admin; I can give you any needed perms
there I think

I have made a conversion to git using cvs2svn:
https://github.com/lojban/lojban-cvs-attic

I've spoken to rlpowell, and a reasonable way to split up this repository is in these chunks:
1) phrasebook{,de} + docbooktools
2) festvox
3) lojban/if
4) lojban/vocab*
5) lojban/translations
6) lojban/lessons

Doing this is a matter of using git filter-branch with a subdirectory filter. I'll get around to do this soon, but if someone wants to have a go at it, go! :)
 

2. Find and bug me to install something that will backup all our
github repos automatically; perhaps help with scripting

A list of lojban repositories under github can be found using the API:
https://api.github.com/users/lojban/repos
You can use this information to do appropriate clones/pulls regularily on a server
 

3. Similarily for updating the bits that do automatic updates of the
translations that were in CVS when people change them, or perhaps
move to a makefile and http://pages.github.com/ (although given the
esotericness of the build tools that's perhaps less good)

I don't think I understand this point.

mi'e la .danr.

-- 
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 http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/groups/opt_out.