What repository to use for pull request?

[Paolo Di Tommaso]

Hi there,

What is repository it should be used to send a pull request during the
transition to Apache infrastructure?

The usual https://github.com/groovy/groovy-core ?

Best,
p