[GitHub] [ant] jaikiran commented on pull request #191: Fix retrieval from non-default repositories

[GitBox <gi...@apache.org>]

jaikiran commented on PR #191:
URL: https://github.com/apache/ant/pull/191#issuecomment-1206507678

   Hello @ppkarwasz, thank you for this change. It looks OK to me, but I'm surprised that without this change, the fetch fails for you. I tested it locally (without this change) and our CI instance have a job which runs the fetch command and that seems to be passing. 
   Do you have a command and log output that has more details about the failure?


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: dev-unsubscribe@ant.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@ant.apache.org
For additional commands, e-mail: dev-help@ant.apache.org