Closed RRosio closed 1 year ago
@RRosio do you have time to finish this one? Do you need help?
@fcollonval Thank you for the ping! I had some issues with this branch so I decided to open up another PR https://github.com/jupyterlab/jupyterlab_pygments/pull/31 which has been updated and should be working, I believe. I will close this PR and leave the other open for review!
Thanks for submitting your first pull request! You are awesome! :hugs:
If you haven't done so already, check out Jupyter's Code of Conduct. Also, please make sure you followed the pull request template, as this will help us review your contribution more quickly. You can meet the other Jovyans by joining our Discourse forum. There is also a intro thread there where you can stop by and say Hi! :wave:
Welcome to the Jupyter community! :tada: