Re: [Git migration] Existing PRs

[Mark Thomas]

On 19/01/18 10:38, Violeta Georgieva wrote:
> 2018-01-18 22:40 GMT+02:00 Mark Thomas :
>>
>> Hi,
>>
>> This issue might have resolved itself. We currently only have open PRs
>> on the apache/tomcat github repo. Assuming that repo would be made
>> read/write (I'm checking with infra) then there isn't a problem.

Confirmed that this is the case.

>> If anyone opnes a PR on one of the other repos between now and migration
>> we can simply ask then to redo the PR against apache/tomcat
> 
> +1

I'm going to resolve this issue as described.

Mark

-
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org

Re: [Git migration] Existing PRs

[Violeta Georgieva]

2018-01-18 22:40 GMT+02:00 Mark Thomas :
>
> Hi,
>
> This issue might have resolved itself. We currently only have open PRs
> on the apache/tomcat github repo. Assuming that repo would be made
> read/write (I'm checking with infra) then there isn't a problem.
>
> If anyone opnes a PR on one of the other repos between now and migration
> we can simply ask then to redo the PR against apache/tomcat

+1

>
> Thoughts?
>
> Mark
>
> -
> To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
> For additional commands, e-mail: dev-h...@tomcat.apache.org
>

Re: [Git migration] Existing PRs

[Coty Sutherland]

On Thu, Jan 18, 2018 at 3:40 PM, Mark Thomas  wrote:
> Hi,
>
> This issue might have resolved itself. We currently only have open PRs
> on the apache/tomcat github repo. Assuming that repo would be made
> read/write (I'm checking with infra) then there isn't a problem.
>
> If anyone opnes a PR on one of the other repos between now and migration
> we can simply ask then to redo the PR against apache/tomcat
>
> Thoughts?

Yeah, I think asking them to move it is fine.

> Mark
>
> -
> To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
> For additional commands, e-mail: dev-h...@tomcat.apache.org
>

-
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org

[Git migration] Existing PRs

[Mark Thomas]

Hi,

This issue might have resolved itself. We currently only have open PRs
on the apache/tomcat github repo. Assuming that repo would be made
read/write (I'm checking with infra) then there isn't a problem.

If anyone opnes a PR on one of the other repos between now and migration
we can simply ask then to redo the PR against apache/tomcat

Thoughts?

Mark

-
To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org
For additional commands, e-mail: dev-h...@tomcat.apache.org