Code

Add typings to commonly used APIs#1333

Code

Merged

blink1073 merged 11 commits intojupyter-server:mainjupyter-server/jupyter_server:mainfrom blink1073:add-more-typingsblink1073/jupyter_server:add-more-typingsCopy head branch name to clipboardOct 15, 2023

+407-323

Commits

Commits on Oct 1, 2023

• Add typings to commonly used APIs

  blink1073

  committed
  c33fdb6

  Copy full SHA for c33fdb6

• fixups

  blink1073

  committed
  4ce5713

  Copy full SHA for 4ce5713

• fixups

  blink1073

  committed
  09b6be4

  Copy full SHA for 09b6be4

• fixup

  blink1073

  committed
  df8b3fd

  Copy full SHA for df8b3fd

• fixup

  blink1073

  committed
  ecf3e1b

  Copy full SHA for ecf3e1b

• fix cast

  blink1073

  committed
  371dc88

  Copy full SHA for 371dc88

• fix session post response

  blink1073

  committed
  5cbea07

  Copy full SHA for 5cbea07

• fixups

  blink1073

  committed
  9f38dcf

  Copy full SHA for 9f38dcf

Commits on Oct 2, 2023

• another fix for event_listener

  blink1073

  committed
  ed1fd5d

  Copy full SHA for ed1fd5d

Commits on Oct 3, 2023

• Update typing

  blink1073

  committed
  1ea84ee

  Copy full SHA for 1ea84ee

• Merge branch 'main' of github.com:jupyter-server/jupyter_server into add-more-typings

  blink1073

  committed
  8ec481b

  Copy full SHA for 8ec481b