Remove branches develop-orig and ci?

Subject: Remove branches develop-orig and ci?
From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2018-12-15 18:53:18

Hi,

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

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

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