[coreboot-gerrit] Patch merged into coreboot/master: util/get_maintainer.pl: Fix top_of_kernel_tree check

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 5d7cbc272e3c94dd58e26e3a17ce2805e51f0e09
Author: Ben Gardner <gardner.ben at gmail.com>
Date:   Wed Jan 20 10:36:15 2016 -0600

    util/get_maintainer.pl: Fix top_of_kernel_tree check
    
    The script checks for a folder called documentation, while the folder
    name is Documentation.
    
    Without this change, I get this when running the script:
    util/scripts/get_maintainer.pl: The current directory does not appear to be
     a coreboot source tree.
    
    Change-Id: Ied7ead7dfec33e9324f06d0ef60dcd6d7ba40104
    Signed-off-by: Ben Gardner <gardner.ben at gmail.com>
    Reviewed-on: https://review.coreboot.org/13062
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


See https://review.coreboot.org/13062 for details.

-gerrit