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

This is slightly silly. The repo already IS in gitHub, and since we can't commit to SourceForge, ...

...

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.