On 04/09/15 16:58, Martin Holmes wrote:
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?
can we wait until we are certain that the oxford jinx is doing the right thing? and that notifications to council work? please.