5 ms·I believe this is added with the "GitHub Pull Requests and Issues" extension.by maxmcd 4y agoI believe this is added with the "GitHub Pull Requests and Issues" extension.