Просмотр исходного кода

set user.name and user.email for opendevin (#1842)

Xingyao Wang 1 год назад
Родитель
Сommit
be1aef5863
1 измененных файлов с 3 добавлено и 0 удалено
  1. 3 0
      opendevin/runtime/docker/ssh_box.py

+ 3 - 0
opendevin/runtime/docker/ssh_box.py

@@ -257,6 +257,9 @@ class DockerSSHBox(Sandbox):
         self.start_ssh_session()
         self.start_ssh_session()
         # make sure /tmp always exists
         # make sure /tmp always exists
         self.execute('mkdir -p /tmp')
         self.execute('mkdir -p /tmp')
+        # set git config
+        self.execute('git config --global user.name "OpenDevin"')
+        self.execute('git config --global user.email "opendevin@opendevin.ai"')
         atexit.register(self.close)
         atexit.register(self.close)
         super().__init__()
         super().__init__()