The Pure ODD branch can safely be removed now. Everything’s in dev.
On Mar 18, 2016, at 4:06 , Lou Burnard
wrote: That's my belief too
Sent from my Honor Mobile
-------- Original Message -------- Subject: [tei-council] Fwd: shivering ... From: Peter Stadler To: tei-council@lists.tei-c.org CC:
I forward Martin’s question … To my knowing, the Pure-ODD-branch has been merged into dev and does not need building at Jenkins anymore. Is this true?
Best Peter
Anfang der weitergeleiteten Nachricht:
Von: Martin Holmes
Betreff: Aw: [tei-council] shivering ... Datum: 17. März 2016 um 16:54:40 MEZ An: Peter Stadler There's some old cruft in the root jobs folder from something long ago, and there are some branches perhaps I could remove -- knowing what the Council is doing these days, do you think I need the Pure-ODD branches?
-- 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