Skip to content


@lpil @neovim



Block or Report

Block or report michaeljones

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse


  1. breathe Public

    ReStructuredText and Sphinx bridge to Doxygen

    Python 595 158

  2. matcha Public

    🍵 A template system for Gleam

    Rust 13 1

501 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri

Contribution activity

May 2022

Created 2 commits in 1 repository

Created a pull request in microsoft/vscode-extension-samples that received 1 comment

Add history api interaction buttons

To demonstrate the failure that I'm seeing. Steps: git clone cd vscode-extension-samples/web…

+3 −5 1 comment
Opened 1 other pull request in 1 repository
michaeljones/vscode-extension-samples 1 open

Created an issue in microsoft/vscode that received 2 comments

Using web History API with pushState in webview leads to webview going blank

Does this issue occur when all extensions are disabled?: No (as it is for custom extensions) VS Code Version: 1.67.0 OS Version: Ubuntu 20.04.4 LTS


Seeing something unexpected? Take a look at the GitHub profile guide.