Fix head commit ID detection for commented snippets on github PRs (!2635) · Merge requests · Warren Gifford / sourcegraph

Warren Gifford requested to merge outdated-pr-snippets into master Mar 07, 2019

Created by: lguychard

Fixes #1801 (closed) (hover loads indefinitely on outdated github commented snippet)

Fix head commit ID detection for commented snippets on github PRs