I have a pull request ( https://github.com/apache/commons-collections/pull/131) that failed due to an external connection being reset. Is there a way to restart the build without creating a new pull request or pushing to git?
Claude -- I like: Like Like - The likeliest place on the web <http://like-like.xenei.com> LinkedIn: http://www.linkedin.com/in/claudewarren