I believe Drill web site and documentation is generated automatically from the gh_pages. Moving this is probably not advisable.
On Tue, May 22, 2018 at 3:14 PM, Boaz Ben-Zvi <[email protected]> wrote: > 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 > >> > >> > >> > > > > >
