StefanBRas/polugins

Make PR bot include a diff

Closed this issue · 0 comments

StefanBRas commented

Would be nice if the PR bot for type stubs included a diff between the pr and the latest version.