Level complete!
Now type
    $ git gud load next