Summary

Pull Request does not get updated over git remote (using the git ls-remote command) after pushing new commits – before refreshing Web Interface.

Steps to Reproduce

1. Create a repo – and create push some commits into the repo
2. Create a new branch on the repo and push some commits into a branch
3. Create a new Pull Request from the new branch to the master branch. Refs to the PR should be shown on git ls-remote:
   
4. With the pull request still open on the webpage... push a new commit into the pull request – Tested from multiple machines – git ls-remote will not show the updated refs for the pull request
5. Refresh pull request page in webui.
6. The updated refs for the PR shows up in ls-remote.