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

[Paul Sandoz]

I think there was just a delay in the Skara tooling, looks like it caught up.

I’ll let Sandhya review it.

Paul. 

> On Sep 11, 2020, at 5:18 PM, Paul Sandoz <paul.sandoz at oracle.com> wrote:
> 
> 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
>> 
>> 
>> 
>