Subject: Re: Remove branches develop-orig and ci?
From: Stefan Seefeld (stefan_at_[hidden])
Date: 2018-12-15 21:38:54
On Sat, Dec 15, 2018, 13:53 Mateusz Loskot <mateusz_at_[hidden] wrote:
> Is it safe to remove this branch?
Yeah, at this point I can't see any reason to keep this.
> What is the purpose of this one, safe to remove?
Yes. Sometimes we may want to experiment with the CI setup without
polluting the main branches, so I whitelisted 'ci' in the travis and
We can create 'ci' branches as needed. Feel free to remove, there is no
ongoing experiment right now. :-)
Boost list run by Boost-Gil-Owners