panana-vector now open for pushes <was> Re: No pushes please <was> Re: [vector] Transition from hg to git(Internet mail)

[jiefu(傅杰)]

Hi Paul,


On 2020/9/11, 11:36 PM, "panama-dev on behalf of Paul Sandoz" <panama-dev-retn at openjdk.java.net on behalf of paul.sandoz at oracle.com> wrote:

    Hi,
    
    The panama-vector repo is now open for pushes. The master branch is synced within seconds with jdk:master.


Good news.
I've created a pr: https://github.com/openjdk/panama-vector/pull/1

But the pull request commands such as "/issue add JDK-8252964", "/test" and "/cc panama" seem not to work as expected.
Is there anything wrong?

Thanks.
Best regards,
Jie