On 2022-11-07, Keith Campbell wrote:
> I created https://github.com/apache/ant/pull/194, but since that
> repository is just a mirror, perhaps I should instead create a pull
> request at https://gitbox.apache.org/repos/asf?p=ant.git;a=summary
> instead.
No, everything you've done is correct.
We
Hello,
I created https://github.com/apache/ant/pull/194, but since that repository is
just a mirror, perhaps I should instead create a pull request at
https://gitbox.apache.org/repos/asf?p=ant.git;a=summary instead. I tried to
find instructions for creating an account there so I could do that
