chore: add back accidentally removed repo info (#5532)

This commit is contained in:
Xingyao Wang
2024-12-11 16:51:05 -05:00
committed by GitHub
parent a6d1a4c98f
commit 907c65cc00

View File

@@ -52,6 +52,7 @@ export const useWSStatusChange = () => {
if (gitHubToken && selectedRepository) {
dispatch(clearSelectedRepository());
additionalInfo = `Repository ${selectedRepository} has been cloned to /workspace. Please check the /workspace for files.`;
} else if (importedProjectZip) {
// if there's an uploaded project zip, add it to the chat
additionalInfo =