Syd, thanks for the notice – I just removed the job from our main Jenkins (at Paderborn). Cheers Peter

Am 11.02.2020 um 00:46 schrieb Syd Bauman :

Jenkins and Travis maintainers --

You can remove the syd-standOff branch jobs from the CI servers at your leisure. _______________________________________________ Tei-council mailing list Tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council