tiennm99/serena
1
0 Fork 0
mirror of https://github.com/tiennm99/serena.git synced 2026-10-18 18:15:31 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add repo dir sync [skip ci]

Browse Source
This commit is contained in:
Dominik Jain authored and Dominik Jain committed 2025-11-23 15:57:45 +01:00
1 parent 3ffbaa090e
commit d58dbebce2
2 files changed
+369
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

sync.py
+6
View File
@@ -0,0 +1,6 @@
import os
from repo_dir_sync import LibRepo, OtherRepo
r = LibRepo(name="serena", libDirectory="src")
r.add(OtherRepo(name="mux", branch="mux", pathToLib=os.path.join("..", "serena-multiplexer", "src-serena")))
r.runMain()