Github Repositories extension

September 16, 2021

GitHub Issue Notebooks

August 24, 2021

Git Graph

January 26, 2021

Create GitHub issues from TODO comments

January 22, 2021

Git: Add remote

December 21, 2020

'Start working on issue' from the Github PR extension

December 08, 2020

View GitHub issues with the GitHub Pull Requests and Issues extension

September 07, 2020

Issue and username hovers from the GitHub Pull Requests and Issues extension

August 16, 2020

The Github Pull Requests extension

March 14, 2020