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 but came up empty. Can anyone help?
Thanks, Keith