Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Use git-sync instead of built-in GitHub workflows for syncing private mirror repo to public repo. * SSH key unnnecessary for public source repo; update GIT_SYNC_SOURCE_REPO to https link as well. --------- Co-authored-by: Sichan Yoo <[email protected]>
- Loading branch information