Skip to content

Activity

Showing most recent first

Merge with main

pcdeadeasypushed 27 commits to dev/pialic/docupro • 020c179…cc78b75 • 
1 hour ago

improving extractions of authors, references, links etc

pcdeadeasypushed 2 commits to dev/pialic/docupro • 2647144…020c179 • 
14 hours ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 0850e68…f40baf3 • 
17 hours ago

Increase stability of entity substitution (#815)

github-merge-queue[bot]created gh-readonly-queue/main/pr-815-0850e680c27a22de0e09888782aeb7dc46ef3e37 • f40baf3 • 
17 hours ago

Merge remote-tracking branch 'origin' into dev/robgruen/knowproshow

robgruenpushed 21 commits to dev/robgruen/knowproshow • 70b26d5…a447afa • 
20 hours ago

Added at_help --all to list all commands (#813)

umeshmacreated umeshma/dev • 0850e68 • 
20 hours ago

Deleted branch

umeshmadeleted umeshma/dev • 
20 hours ago

update pnpm minor version

robgruenpushed 1 commit to dev/robgruen/knowproshow • 1e3e545…70b26d5 • 
20 hours ago

Deleted branch

robgruendeleted dev/robgruen/memoryV2.2 • 
20 hours ago

Deleted branch

robgruendeleted dev/robgruen/memories • 
20 hours ago

Deleted branch

robgruendeleted dev/robgruen/all_commands • 
20 hours ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 5c9c938…0850e68 • 
20 hours ago

Added at_help --all to list all commands (#813)

github-merge-queue[bot]created gh-readonly-queue/main/pr-813-5c9c9388c7b5bc85508a8e4b405bc0b196c38ed0 • 0850e68 • 
20 hours ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 2d532b4…5c9c938 • 
20 hours ago

added copyright

robgruenpushed 1 commit to dev/robgruen/all_commands • 163919c…2bcfd49 • 
20 hours ago

Merge branch 'dev/robgruen/all_commands' of https://github.com/micros…

robgruenpushed 2 commits to dev/robgruen/all_commands • b39adb9…163919c • 
20 hours ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • e32af1d…2d532b4 • 
20 hours ago

[python/knowpro] Improvebuild infra; rename Index to Ordinal (#814)

github-merge-queue[bot]created gh-readonly-queue/main/pr-814-2d532b4a0003309e8193b3ae198df579345ed14f • 5c9c938 • 
20 hours ago

Merge branch 'main' into dev/robgruen/all_commands

robgruenpushed 15 commits to dev/robgruen/all_commands • 34770db…b39adb9 • 
20 hours ago

ran prettier

robgruenpushed 2 commits to dev/robgruen/all_commands • 4697be4…34770db • 
20 hours ago

ran prettier

robgruenpushed 2 commits to dev/robgruen/all_commands • f201ad5…4697be4 • 
21 hours ago

knowpro: refactoring, integrate message indexing (#812)

github-merge-queue[bot]created gh-readonly-queue/main/pr-812-e32af1d4b3cd29c85f01cd792f2e2039665d525e • 2d532b4 • 
21 hours ago

Merge branch 'main' into umeshma/dev

umeshmapushed 3 commits to umeshma/dev • a12fc67…e4aacb3 • 
21 hours ago

Removed metadata interface

umeshmapushed 1 commit to umeshma/dev • e957029…a12fc67 • 
21 hours ago

ran prettier

robgruenpushed 3 commits to dev/robgruen/all_commands • 8918bee…f201ad5 • 
21 hours ago

Indexing cleanup, integrate message indexing

umeshmapushed 1 commit to umeshma/dev • 20aaf36…e957029 • 
22 hours ago