Re: Remove branches develop-orig and ci?

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:

> Hi,
>
> Is it safe to remove this branch?
> https://github.com/boostorg/gil/tree/develop-orig

Yeah, at this point I can't see any reason to keep this.

>
> What is the purpose of this one, safe to remove?
> https://github.com/boostorg/gil/tree/ci

Yes. Sometimes we may want to experiment with the CI setup without
polluting the main branches, so I whitelisted 'ci' in the travis and
appveyor config.
We can create 'ci' branches as needed. Feel free to remove, there is no
ongoing experiment right now. :-)