#!/usr/bin/env bash

pushmod() {
        local root=`git rev-parse --show-toplevel`
        local dir=`git config --file "$root/.gitmodules" --get-regexp path | cut -d" " -f2- | sed "\\\$q;${1:-1}q;d"`
        pushd "$root/$dir"
}