tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Mark Thomas <ma...@apache.org>
Subject Re: [Git migration] Existing PRs
Date Mon, 22 Jan 2018 21:10:16 GMT
On 19/01/18 10:38, Violeta Georgieva wrote:
> 2018-01-18 22:40 GMT+02:00 Mark Thomas <markt@apache.org>:
>>
>> 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-unsubscribe@tomcat.apache.org
For additional commands, e-mail: dev-help@tomcat.apache.org


Mime
View raw message