Failed to merge from merge request page
Sometimes we found that merge request was failed to be merged from merge request page.
And we found the error message from gitlab log(githost.log)
September 17, 2015 11:22 -> ERROR -> Command failed [1]: /usr/local/bin/git --git-dir=/home/git/gitlab-satellites/aa/bb/.git --work-tree=/home/git/gitlab-satellites/aa/bb push origin dev/master
remote: GitLab: No user or key was provided.
To /home/git/repositories/aa/bb.git
! [remote rejected] dev/master -> dev/master (pre-receive hook declined)
error: failed to push some refs to '/home/git/repositories/aa/bb.git'
Logout and re-login web is not works for this problem.
My gitlab version is 7.13