Done by #4103[1].

[1] https://github.com/apache/incubator-shardingsphere/pull/4103

On 2020/01/17 07:10:47, "[email protected]" <[email protected]> wrote: 
> +1, the current master and dev branch are duplicated, and we just omit the
> master. Use master instead of dev branch is good idea.
> 
> ------------------
> 
> Liang Zhang (John)
> Apache ShardingSphere & Dubbo
> 
> 
> Zhang Yonglun <[email protected]> 于2020年1月17日周五 下午1:47写道:
> 
> > Hi all,
> >
> > I am planning to change the default branch from 'dev' to 'master'. The
> > 'dev' branch may be deleted after a period of time.
> > To finish this job, we need the help of Apache Jira:
> >
> > 1. branch name, **master**.
> >
> > Request for open the branch protection. The branch should not allow push
> > directly.
> >
> > 2. branch name , **dev**.
> >
> > Request for **close** the branch protection.
> >
> > 3. Change default branch to **master**
> >
> > Please help to review theses operations.
> >
> >
> > --
> >
> > Zhang Yonglun
> > Apache ShardingSphere
> >
> 

Reply via email to