gitlab使用踩坑记录——组内成员push不成功

背景：

我是项目管理员，创建了一个项目，将组内其他同事的账号添加到了这个项目中，并且都给了develop权限：   

                                              

 

 

但是使用的时候，只有我可以 add—>commit—>push 成功，其他成员在push时候不成功，报如下错误：

 

 

结果上网搜索结果，问题得到解决。解决办法如下：

在该项目的“设置——仓库——保护分支”菜单栏目中的“允许合并”和“允许推送”的权限中添加一下develop权限。（原来只有 maintainers）：