You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@commons.apache.org by mureinik <gi...@git.apache.org> on 2018/02/16 18:57:20 UTC

[GitHub] commons-rng pull request #7: Replace FindBugs with SpotBugs

GitHub user mureinik opened a pull request:

    https://github.com/apache/commons-rng/pull/7

    Replace FindBugs with SpotBugs

    As per the discussion in [1], FindBugs has been discontinued, and
    SpotBugs has taken its place.
    This patch updates the Commons RNG project to use SpotBugs
    accordingly.
    
    [1] http://mail-archives.apache.org/mod_mbox/commons-dev/201802.mbox/raw/%3C4131eded52b31d3c9114fa5cbae48c4a%40scarlet.be%3E/
    spotbgus

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

    $ git pull https://github.com/mureinik/commons-rng spotbugs

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

    https://github.com/apache/commons-rng/pull/7.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 #7
    
----
commit 52ab4ee9c83ed1c4b8f181cfe3fcb002402b7342
Author: Allon Mureinik <am...@...>
Date:   2018-02-16T18:34:56Z

    Replace FindBugs with SpotBugs
    
    As per the discussion in [1], FindBugs has been discontinued, and
    SpotBugs has taken its place.
    This patch updates the Commons RNG project to use SpotBugs
    accordingly.
    
    [1] http://mail-archives.apache.org/mod_mbox/commons-dev/201802.mbox/raw/%3C4131eded52b31d3c9114fa5cbae48c4a%40scarlet.be%3E/
    spotbgus

----


---

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

[GitHub] commons-rng pull request #7: Replace FindBugs with SpotBugs

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

    https://github.com/apache/commons-rng/pull/7


---

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