Skip to content

Fix head commit ID detection for commented snippets on github PRs

Administrator requested to merge outdated-pr-snippets into master

Created by: lguychard

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

Merge request reports