Done – all three were deleted, using github (thanks @Vlad Rozov).
There is also an active branch called “gh-pages” (and a non-active one called
“gh-pages-master”) that seems to be used for the Drill documentation.
Maybe this work should be moved to its own Repo ? It does not make sense to be
a part of the Drill sources (e.g., note this branch is “3086 commits behind”).
@Bridget Bevens – what do you think ?
Thanks,
Boaz
On 5/22/18, 1:02 PM, "Parth Chandra" <[email protected]> wrote:
Yes, please go ahead and remove these branches.
On Mon, May 21, 2018 at 8:06 PM, Vlad Rozov <[email protected]> wrote:
> There is an option to delete the branch on github directly (no need to
> use "git push").
>
> Thank you,
>
> Vlad
>
>
> On 5/21/18 18:35, Boaz Ben-Zvi wrote:
>
>> I mistakenly pushed a branch (“MERGE-180521-01”) into the Apache
>> repo, and plan to delete it soon
>> (i.e. do “git push
https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_apache_drill.git&d=DwIFaQ&c=cskdkSMqhcnjZxdQVpwTXg&r=EqulKDxxEDCX6zbp1AZAa1-iAPQGgCioAqgDp7DE2BU&m=Jgwab6ezufiqEbsi7h1wNNGZPnUbR28Caq2JWPsSlp0&s=JiRFn2vcSJHxPA09nlPxBKSi9xk0thr-JKiaYNyMEws&e=
--delete
>> MERGE-180521-01” ).
>>
>> Just in case someone notices ....
>>
>> On this occasion: Looks like there are other similar such branches:
>> “DRILL-3478” and “DRILL-4235” ; any objection to deleting those as well ?
>>
>> Thanks,
>>
>> Boaz
>>
>>
>>
>
