Skip to content

Conversation

@giaongo
Copy link
Contributor

@giaongo giaongo commented Nov 3, 2025

No description provided.

@giaongo giaongo force-pushed the feature/dip-739-ai-tool-for-browser-ide branch 3 times, most recently from bd712da to 294ca56 Compare November 3, 2025 12:21
@Munkkeli
Copy link
Member

Munkkeli commented Nov 3, 2025

Yes, this looks good! We won't merge this yet of course, but I think this implementation is very good 👍
Let's discuss more on Wednesday about how we will proceed with this.

@giaongo giaongo force-pushed the feature/dip-739-ai-tool-for-browser-ide branch from 2ea6697 to 29f64ba Compare November 3, 2025 14:08
@giaongo giaongo force-pushed the feature/dip-739-ai-tool-for-browser-ide branch from 29f64ba to ba96b6c Compare November 3, 2025 14:11
@giaongo giaongo force-pushed the feature/dip-739-ai-tool-for-browser-ide branch from e22113b to 2740349 Compare November 3, 2025 15:52
@giaongo giaongo force-pushed the feature/dip-739-ai-tool-for-browser-ide branch from 1d04559 to 6ef42d0 Compare November 25, 2025 09:48
@giaongo giaongo force-pushed the feature/dip-739-ai-tool-for-browser-ide branch from 9aceeab to bf983b8 Compare November 25, 2025 18:07
@giaongo giaongo merged commit c44f586 into main Dec 1, 2025
1 check passed
@giaongo giaongo deleted the feature/dip-739-ai-tool-for-browser-ide branch December 1, 2025 10:29
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