Skip to content

Conversation

@lukqw
Copy link
Member

@lukqw lukqw commented Sep 6, 2023

To be merged once we have 2.3 out the door!

Should merge before making extensions available to our insiders

@lukqw lukqw changed the title add badges to remote installer DO NOT MERGE: add badges to remote installer Sep 6, 2023
@lukqw lukqw changed the title DO NOT MERGE: add badges to remote installer add badges to remote installer Sep 19, 2023
@lukqw lukqw requested a review from thrau September 19, 2023 08:16
@HarshCasper HarshCasper merged commit 50aaf72 into main Sep 19, 2023
@lukqw lukqw deleted the add-badges branch September 19, 2023 15:06
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.

3 participants