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 |