Skip to content

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Sep 27, 2022

No description provided.

@alexr00 alexr00 added this to the October 2022 milestone Sep 27, 2022
@rebornix rebornix modified the milestones: October 2022, November 2022 Oct 24, 2022
@alexr00 alexr00 force-pushed the alexr00/extensionLogging branch from 9939603 to d390021 Compare November 29, 2022 10:59
@aeschli aeschli modified the milestones: November 2022, December 2022 Nov 29, 2022
@alexr00 alexr00 removed this from the December 2022 milestone Nov 30, 2022
@alexr00 alexr00 marked this pull request as ready for review January 13, 2023 15:22
@vscodenpa vscodenpa added this to the January 2023 milestone Jan 13, 2023
@alexr00 alexr00 merged commit 181cb96 into main Jan 13, 2023
@alexr00 alexr00 deleted the alexr00/extensionLogging branch January 13, 2023 16:41
alexr00 added a commit that referenced this pull request Jan 13, 2023
alexr00 added a commit that referenced this pull request Jan 13, 2023
alexr00 added a commit that referenced this pull request Feb 3, 2023
* Adopt extension logging

* Update log level API use

* Fix log types
alexr00 added a commit that referenced this pull request Feb 3, 2023
* Adopt extension logging (#3991)

* Adopt extension logging

* Update log level API use

* Fix log types

* Update some log levels

* package.json updates
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants