Skip to content

Pull requests: jupyter-server/pycrdt

New pull request New
Clear current search query, filters, and sorts
1 Open 213 Closed
1 Open 213 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add Transaction Python class
#1 by davidbrochart was merged Sep 21, 2023 Loading…
Setup CI
#2 by davidbrochart was merged Sep 22, 2023 Loading…
Check types
#3 by davidbrochart was merged Sep 22, 2023 Loading…
Add pre-commit
#4 by davidbrochart was merged Sep 22, 2023 Loading…
Support deleting text
#5 by davidbrochart was merged Sep 28, 2023 Loading…
Allow nested transactions
#8 by davidbrochart was merged Sep 28, 2023 Loading…
1
Add text observe/unobserve
#9 by davidbrochart was merged Sep 29, 2023 Loading…
Support text insertion
#10 by davidbrochart was merged Sep 29, 2023 Loading…
Add Array and Map
#11 by davidbrochart was merged Oct 6, 2023 Loading…
Support subdoc
#12 by davidbrochart was merged Oct 6, 2023 Loading…
Add Doc.apply_update
#13 by davidbrochart was merged Oct 6, 2023 Loading…
Fix string representation
#14 by davidbrochart was merged Oct 7, 2023 Loading…
Refactor API
#15 by davidbrochart was merged Oct 7, 2023 Loading…
Add publish workflow
#16 by davidbrochart was merged Oct 8, 2023 Loading…
Support Array item assignment
#17 by davidbrochart was merged Oct 10, 2023 Loading…
Improve Map API
#18 by davidbrochart was merged Oct 11, 2023 Loading…
Fix Map API, improve Array API
#19 by davidbrochart was merged Oct 12, 2023 Loading…
Support Doc client ID
#20 by davidbrochart was merged Oct 12, 2023 Loading…
Fix observe
#21 by davidbrochart was merged Oct 12, 2023 Loading…
Add Map.get(key)
#22 by davidbrochart was merged Oct 12, 2023 Loading…
Test client ID in update
#23 by davidbrochart was merged Oct 17, 2023 Loading…
Fix transaction
#24 by davidbrochart was merged Oct 27, 2023 Loading…
Add observe_subdocs
#25 by davidbrochart was merged Nov 6, 2023 Loading…
Add Array iterator
#26 by davidbrochart was merged Nov 7, 2023 Loading…
Improve Array and Map API
#27 by davidbrochart was merged Nov 7, 2023 Loading…
ProTip! Adding no:label will show everything without a label.