Re: Remove branches develop-orig and ci?

Subject: Re: Remove branches develop-orig and ci?
From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2018-12-15 22:39:00

On Sat, 15 Dec 2018 at 22:39, Stefan Seefeld <stefan_at_[hidden]> wrote:
>
 On Sat, Dec 15, 2018, 13:53 Mateusz Loskot <mateusz_at_[hidden] wrote:
> >
> > 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.

Good. Both removed.

> 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.

I see. Good idea.

> We can create 'ci' branches as needed.

Indeed.

Best regards,
-- 
Mateusz Loskot, http://mateusz.loskot.net