Python pushdの例

コード例 #1

ファイル: actions.py プロジェクト: nokurn/webhook

def do_make_doc(owner, name):
    utils.pushd(path.join(repo.path_for(owner, name), "build"))
    _call("make", "doc")
    utils.popd()

コード例 #2

ファイル: actions.py プロジェクト: nokurn/webhook

def do_pull(owner, name):
    utils.pushd(repo.path_for(owner, name))
    _call("git", "pull")
    utils.popd()