8 Pull requests merged by 4 people

• Instrument git_submodule_set_url.

  #1395 merged Aug 6, 2025

• First round of mypy fixes

  #1398 merged Aug 6, 2025

• Improve usability of Remote.ls_remotes's result

  #1397 merged Aug 5, 2025

• Push negotiation callback

  #1396 merged Aug 5, 2025

• more typing

  #1394 merged Aug 4, 2025

• more typing

  #1393 merged Aug 1, 2025

• more typing

  #1392 merged Aug 1, 2025

• more typing

  #1391 merged Jul 31, 2025

1 Pull request opened by 1 person

• Use modern python syntax for types and others

  #1399 opened Aug 6, 2025