You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@ant.apache.org by jaikiran <gi...@git.apache.org> on 2017/09/17 07:46:42 UTC

[GitHub] ant pull request #38: Do not merge

GitHub user jaikiran opened a pull request:

    https://github.com/apache/ant/pull/38

    Do not merge 

    Testing Jenkins integration. Do not merge this PR

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/jaikiran/ant dummy

Alternatively you can review and apply these changes as the patch at:

    https://github.com/apache/ant/pull/38.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #38
    
----
commit 7722bab09e2baab9cfb140f537dd045f05aba7f2
Author: Jaikiran Pai <ja...@gmail.com>
Date:   2017-09-17T07:45:52Z

    do not merge

----


---

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


[GitHub] ant issue #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
Github user jaikiran commented on the issue:

    https://github.com/apache/ant/pull/38
  
    retest this please


---

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


[GitHub] ant issue #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
Github user jaikiran commented on the issue:

    https://github.com/apache/ant/pull/38
  
    retest this please


---

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


[GitHub] ant issue #38: Do not merge

Posted by asfgit <gi...@git.apache.org>.
Github user asfgit commented on the issue:

    https://github.com/apache/ant/pull/38
  
    
    Refer to this link for build results (access rights to CI server needed): 
    https://builds.apache.org/job/Ant-Master%20Github-PR-Windows/5/



---

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


[GitHub] ant pull request #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
Github user jaikiran closed the pull request at:

    https://github.com/apache/ant/pull/38


---

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


[GitHub] ant pull request #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
GitHub user jaikiran reopened a pull request:

    https://github.com/apache/ant/pull/38

    Do not merge 

    Testing Jenkins integration. Do not merge this PR

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/jaikiran/ant dummy

Alternatively you can review and apply these changes as the patch at:

    https://github.com/apache/ant/pull/38.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #38
    
----
commit 7722bab09e2baab9cfb140f537dd045f05aba7f2
Author: Jaikiran Pai <ja...@gmail.com>
Date:   2017-09-17T07:45:52Z

    do not merge

----


---

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


[GitHub] ant issue #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
Github user jaikiran commented on the issue:

    https://github.com/apache/ant/pull/38
  
    this is ok to test


---

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


[GitHub] ant issue #38: Do not merge

Posted by asfgit <gi...@git.apache.org>.
Github user asfgit commented on the issue:

    https://github.com/apache/ant/pull/38
  
    Can one of the admins verify this patch?


---

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


[GitHub] ant pull request #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
Github user jaikiran closed the pull request at:

    https://github.com/apache/ant/pull/38


---

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


[GitHub] ant issue #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
Github user jaikiran commented on the issue:

    https://github.com/apache/ant/pull/38
  
    retest this please


---

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


[GitHub] ant pull request #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
GitHub user jaikiran reopened a pull request:

    https://github.com/apache/ant/pull/38

    Do not merge 

    Testing Jenkins integration. Do not merge this PR

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/jaikiran/ant dummy

Alternatively you can review and apply these changes as the patch at:

    https://github.com/apache/ant/pull/38.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #38
    
----
commit 7722bab09e2baab9cfb140f537dd045f05aba7f2
Author: Jaikiran Pai <ja...@gmail.com>
Date:   2017-09-17T07:45:52Z

    do not merge

----


---

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


[GitHub] ant issue #38: Do not merge

Posted by asfgit <gi...@git.apache.org>.
Github user asfgit commented on the issue:

    https://github.com/apache/ant/pull/38
  
    
    Refer to this link for build results (access rights to CI server needed): 
    https://builds.apache.org/job/Ant-Master%20Github-PR-Windows/3/



---

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


[GitHub] ant issue #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
Github user jaikiran commented on the issue:

    https://github.com/apache/ant/pull/38
  
    retest this please


---

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


[GitHub] ant issue #38: Do not merge

Posted by asfgit <gi...@git.apache.org>.
Github user asfgit commented on the issue:

    https://github.com/apache/ant/pull/38
  
    
    Refer to this link for build results (access rights to CI server needed): 
    https://builds.apache.org/job/Ant-Master%20Github-PR-Windows/6/



---

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


[GitHub] ant pull request #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
Github user jaikiran closed the pull request at:

    https://github.com/apache/ant/pull/38


---

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


[GitHub] ant issue #38: Do not merge

Posted by jaikiran <gi...@git.apache.org>.
Github user jaikiran commented on the issue:

    https://github.com/apache/ant/pull/38
  
    retest this please


---

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


[GitHub] ant issue #38: Do not merge

Posted by asfgit <gi...@git.apache.org>.
Github user asfgit commented on the issue:

    https://github.com/apache/ant/pull/38
  
    
    Refer to this link for build results (access rights to CI server needed): 
    https://builds.apache.org/job/Ant-1.9.x%20Github-PR-Windows/6/



---

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