Re: [dpdk-dev] [PATCH] switch default git branch name to main

2020-08-12 Thread Thomas Monjalon
12/08/2020 14:47, Bruce Richardson: > On Wed, Aug 12, 2020 at 11:29:15AM +0200, Thomas Monjalon wrote: > > The default git branch of the main DPDK repository has been renamed > > from master to main. > > > > Signed-off-by: Thomas Monjalon [...] > > -The backup maintainer for the master tree shoul

Re: [dpdk-dev] [PATCH] switch default git branch name to main

2020-08-12 Thread Bruce Richardson
On Wed, Aug 12, 2020 at 11:29:15AM +0200, Thomas Monjalon wrote: > The default git branch of the main DPDK repository has been renamed > from master to main. > > Signed-off-by: Thomas Monjalon > --- > devtools/check-git-log.sh | 4 ++-- > devtools/checkpatches.sh| 4 ++-- >

[dpdk-dev] [PATCH] switch default git branch name to main

2020-08-12 Thread Thomas Monjalon
The default git branch of the main DPDK repository has been renamed from master to main. Signed-off-by: Thomas Monjalon --- devtools/check-git-log.sh | 4 ++-- devtools/checkpatches.sh| 4 ++-- doc/guides/contributing/patches.rst | 5 +++-- doc/guides/contributing/stable.rs