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

[Paul Sandoz]

Hi Jie,

It might be that something was neglected when wiring up the repo to the Skara system. I will contact the engineers on Monday.

Paul. 

> On Sep 11, 2020, at 5:10 PM, jiefu(傅杰) <jiefu at tencent.com> wrote:
> 
> 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://urldefense.com/v3/__https://github.com/openjdk/panama-vector/pull/1__;!!GqivPVa7Brio!L_JBiA4AYglf7HoGXR4OUaoliKCWJSzdbDHz3c2f1cr7l6M7U6CMCfb5YNua4bPBMQ$ 
> 
> 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
> 
> 
>