Btw, I've seen an increase of GitHub PRs usage fro...

# random

[Edoardo Luppi]

Btw, I've seen an increase of GitHub PRs usage from the Kotlin team. Is that an experiment or the end goal is to always go through GitHub PRs?

[tapchicoma]

yes, we are slowly moving to GH PRs

[Edoardo Luppi]

@tapchicoma that's good news. I normally subscribe to PRs in repos I care about if I need "real time" updates.