Disable Web IDE button if user is not allowed to push the source branch.

Closes #45026

See merge request gitlab-org/gitlab-ce!21288