Re: [tei-council] Are we jumping to GitHub or are we not?

How does Jinks get the email? Would it not be possible just to read it out of the repo HEAD?

On Sep 4, 2015, at 11:58 , Martin Holmes wrote:

Hi all,

My Jinks is able to build the TEI products from GitHub, thanks to some help from Hugh, and James's will also be switched today as a secondary test. The only wrinkle is that Jinks will not be able to notify committers when a build fails, because GitHub doesn't have a transparent way of automatically associating committer ids with email addresses, but we can handle this by having it notify the Council mailing list instead. I've set that up, and I think it might just work out of the box but if not Kevin will be able to allow it.

We now want to start revising those "Editing the Guidelines" and similar documents to point to GitHub, and consider what we're going to do about tickets.

Is there anyone at this point who objects to moving the repo to GitHub?

If not, then I suggest we start updating documentation.

Tickets can stay on SF until we have a comfortable migration path for them.

Cheers, Martin -- tei-council mailing list tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council

PLEASE NOTE: postings to this list are publicly archived