Skip to content

Instantly share code, notes, and snippets.

@jdorfman
Created March 10, 2023 15:47
Show Gist options
  • Save jdorfman/d57c405af77847adb849b6a16c7b8ba6 to your computer and use it in GitHub Desktop.
Save jdorfman/d57c405af77847adb849b6a16c7b8ba6 to your computer and use it in GitHub Desktop.
<iframe id="myIframe" src="https://sourcegraph.com/embed/notebooks/Tm90ZWJvb2s6MjE0MQ=="></iframe>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment