Oh. That is my old pull request, I thought I closed that. I did not want that pull request to be used, it has too many different files in it!

Doesn't clicking "Close" on a pull request remove it from the pull request queue?


On Feb 12, 2013, at 11:12 PM, Stefan <notifications@github.com> wrote:

> In mummer.rb:
> 
> > @@ -0,0 +1,43 @@
> > +require 'formula'
> > +
> > +class Mummer < Formula
> > +  homepage 'http://mummer.sourceforge.net/'
> > +  url 'https://downloads.sourceforge.net/project/mummer/mummer/3.23/MUMmer3.23.tar.gz'
> > +  version '3.23'
> There is tool brew audit [formula] that you can run to check formulas:
> 
> brew audit ./mummer.rb 
> mummer:
>  * stable version 3.23 is redundant with version scanned from URL
>  * "#{prefix}/lib" should be "#{lib}"
>  * Trailing whitespace was found
> 
> Error: 3 problems in 1 formulae
> —
> Reply to this email directly or view it on GitHub.
> 
>