In general, what is our policy on removing branches? Once they are mereged into dev? (e.g. if the lb42-procmod stuff is merged in, then should that go?) Or should various branches hang around until a release is final, and then tidied up shortly thereafter? -James On 18/03/16 11:22, Hugh Cayless wrote:
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
-- Dr James Cummings, James.Cummings@it.ox.ac.uk Academic IT Services, University of Oxford