Skip to content

Commit 5cd0182

Browse files
committed
Debug
1 parent d33ca42 commit 5cd0182

File tree

1 file changed

+9
-4
lines changed

1 file changed

+9
-4
lines changed

myst_libre/tools/build_source_manager.py

Lines changed: 9 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -96,15 +96,20 @@ def repo2data_download(self,target_directory):
9696
repo2data.install()
9797

9898
def set_commit_info(self):
99-
self.binder_commit_info['datetime'] = self.repo_object.commit(self.binder_image_tag).committed_datetime
100-
self.binder_commit_info['message'] = self.repo_object.commit(self.binder_image_tag).message
99+
if self.binder_image_name:
100+
self.binder_commit_info['datetime'] = "20 November 2024"
101+
self.binder_commit_info['message'] = "Base runtime from myst-libre"
102+
else:
103+
self.binder_commit_info['datetime'] = self.repo_object.commit(self.binder_image_tag).committed_datetime
104+
self.binder_commit_info['message'] = self.repo_object.commit(self.binder_image_tag).message
101105
self.repo_commit_info['datetime'] = self.repo_object.commit(self.gh_repo_commit_hash).committed_datetime
102106
self.repo_commit_info['message'] = self.repo_object.commit(self.gh_repo_commit_hash).message
103107
self.validate_commits()
104108

105109
def validate_commits(self):
106-
if self.repo_commit_info['datetime'] < self.binder_commit_info['datetime']:
107-
raise ValueError("The repo commit datetime cannot be older than the binder commit datetime.")
110+
if not self.binder_image_name:
111+
if self.repo_commit_info['datetime'] < self.binder_commit_info['datetime']:
112+
raise ValueError("The repo commit datetime cannot be older than the binder commit datetime.")
108113

109114
def create_latest_symlink(self):
110115
"""

0 commit comments

Comments
 (0)