| Index: sky/tools/deploy_sdk.py
|
| diff --git a/sky/tools/deploy_sdk.py b/sky/tools/deploy_sdk.py
|
| index c5b481c7d9bc001423504e4bfc074465db52f826..e4bf71adb95670e2c2060c8fc042238196ead9f7 100755
|
| --- a/sky/tools/deploy_sdk.py
|
| +++ b/sky/tools/deploy_sdk.py
|
| @@ -204,11 +204,18 @@ def main():
|
|
|
| if should_commit:
|
| # Kinda a hack to make a prettier build dir for the commit:
|
| - rel_build_dir = os.path.join(os.path.split(build_dir)[-2:])
|
| + script_path = os.path.relpath(os.path.abspath(__file__), SRC_ROOT)
|
| + rel_build_dir = os.path.relpath(build_dir, SRC_ROOT)
|
| + revision = git_revision()
|
| + commit_url = "https://github.com/domokit/mojo/commit/%s" % revision
|
| + pattern = """Autogenerated from %s
|
| +Using %s and build output from %s.
|
| +"""
|
| + commit_message = pattern % (commit_url, script_path, rel_build_dir)
|
| subprocess.check_call(['git', 'add', '.'], cwd=sdk_root)
|
| subprocess.check_call([
|
| 'git', 'commit',
|
| - '-m', '%s from %s' % (rel_build_dir, git_revision())
|
| + '-m', commit_message
|
| ], cwd=sdk_root)
|
|
|
| time_delta = datetime.now() - start_time
|
|
|