GitVita

New repository Import repository New issue

Your repositories Your dashboard Sign in

microsoft/TypeAgent

Public

mirrored from https://github.com/microsoft/TypeAgentAvailable

Watch0 Fork0 Star0

Code Commits Issues Pull requests Actions Insights Security

cd55af90a2201c06da2dc5a106bf2029a955c683

Find a branch or tag

Branches

cd55af90a2201c06da2dc5a106bf2029a955c683

Tags

No tags available.

1Branches 0Tags

Add file

Code

Clone

HTTPS

Commit history

Commits on cd55af90a2201c06da2dc5a106bf2029a955c683

Review the repository timeline and open individual commits from the canonical branch history.

cd55af90a2201c06da2dc5a106bf2029a955c68310 commits on this page

Page1 · full history

No filters

Aug 4, 20254 commits

Player: remove .local from host name on Mac to selected device (#1415)
Details
Unverified
Curtis Man11 months agocd55af90a220
knowpro: Tag programming model improvements (#1414)
Details
Unverified
Umesh Madan11 months ago47d5878aec9f
Notify skip explanation reason for when cache cannot be use (#1413)
Details
Unverified
Curtis Man11 months ago81912a98731f
remove query and analytics code that is not currently used (#1412)
Details
Unverified
Hillary Mutisya11 months ago7544dfef9a60

Aug 2, 20251 commits

Doc Memory: Html to Markdown improvements (#1411)
Details
Unverified
Umesh Madan11 months ago65aca124e504

Aug 1, 20255 commits

Player: stop caching device id (#1410)
Details
Unverified
Curtis Man11 months agof980a90dc93f
Shell: Make sure the div state is updated after proposeAction (#1408)
Details
Unverified
Curtis Man11 months agodc994f365e63
DocMemory, TextPro improvements (#1409)
Details
Unverified
Umesh Madan11 months ago2b059033130f
Player: music device entity and completion (#1407)
Details
Unverified
Curtis Man11 months ago03244d5e7208
Player: improve device management and max volume settings (#1406)
Details
Unverified
Curtis Man11 months agof88c30d02403