You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@polygene.apache.org by Niclas Hedhman <ni...@hedhman.org> on 2017/12/21 07:40:29 UTC
Close PR?
If anyone knows (or can figure out) how to close a PR, let us know. PR/8
has been merged into 'develop', but still remains open on GitHub. No idea
how it is supposed to work...
Cheers
--
Niclas Hedhman, Software Developer
http://polygene.apache.org - New Energy for Java
Re: Close PR?
Posted by Tibor Mlynarik <ti...@gmail.com>.
my bad , I was looking at PR/7 .
Tibor
> On Dec 21, 2017, at 9:46 AM, Tibor Mlynarik <ti...@gmail.com> wrote:
>
> Hi Niclas,
>
> thanks for merging this PR/8.
> I see it as closed on github.
> I have deleted original branch, maybe it will help.
>
> cheers,
>
> Tibor
>
>
>> On Dec 21, 2017, at 8:40 AM, Niclas Hedhman <ni...@hedhman.org> wrote:
>>
>> If anyone knows (or can figure out) how to close a PR, let us know. PR/8
>> has been merged into 'develop', but still remains open on GitHub. No idea
>> how it is supposed to work...
>>
>>
>> Cheers
>> --
>> Niclas Hedhman, Software Developer
>> http://polygene.apache.org - New Energy for Java
>
Re: Close PR?
Posted by Tibor Mlynarik <ti...@gmail.com>.
Hi Niclas,
thanks for merging this PR/8.
I see it as closed on github.
I have deleted original branch, maybe it will help.
cheers,
Tibor
> On Dec 21, 2017, at 8:40 AM, Niclas Hedhman <ni...@hedhman.org> wrote:
>
> If anyone knows (or can figure out) how to close a PR, let us know. PR/8
> has been merged into 'develop', but still remains open on GitHub. No idea
> how it is supposed to work...
>
>
> Cheers
> --
> Niclas Hedhman, Software Developer
> http://polygene.apache.org - New Energy for Java