git push step does not appear on empty project help

Summary

A logged in user with developer access inherited from LDAP-sync on the parent group does not see the push steps on an empty project.

Steps to reproduce

  • Create a group with LDAP-sync
  • Create a child project
  • User A has developer access because of Group LDAP-synced members
  • git push step is not present on the page (see current bug behaviour and line of code).

What is the current bug behavior?

User with developer access and project with no protected branches:

Git global setup

git config --global user.name "<redacted>"
git config --global user.email "<redacted>"

Create a new repository

git clone https://:@gitlab.<redacted>:8443/<redacted>/<redacted>.git
cd dim
touch README.md
git add README.md
git commit -m "add README"

Existing folder

cd existing_folder
git init
git remote add origin https://:@gitlab.<redacted>:8443/<redacted>/<redacted>.git
git add .
git commit -m "Initial commit"

Existing Git repository

cd existing_repo
git remote rename origin old-origin
git remote add origin https://:@gitlab.<redacted>:8443/<redacted>/<redacted>.git

What is the expected correct behavior?

Existing folder

cd existing_folder
git init
git remote add origin https://:@gitlab.<redacted>:8443/<redacted>/<redacted>.git
git add .
git commit -m "Initial commit"
git push -u origin master

git push -u origin master should appear, but https://gitlab.com/gitlab-org/gitlab-ce/blob/master/app/views/projects/empty.html.haml#L64 is false for some reason.

Output of checks

Cannot test it on gitlab.com

Results of GitLab environment info

Gitlab v11.6.9-ee

Possible fixes

https://gitlab.com/gitlab-org/gitlab-ce/blob/master/app/views/projects/empty.html.haml#L64