Comment by mrmartineau

These are not working for me right now: Github Pull Requests VS code extension, Refined Github Chrome extension