Open
Description
openedon Oct 25, 2022
- my default profile has the pr-pinger installed
- created a fresh new profile
- have not installed extensions
- there is a prompt to login for pr-pinger (which isn't installed)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
