Last active
January 24, 2022 16:58
-
-
Save garrelj1/a56d8b0facbbe37dd4df20a15655c065 to your computer and use it in GitHub Desktop.
Example repo manifest file
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8"?> | |
<manifest> | |
<!-- Remote to pull from with base URL as the fetch value --> | |
<remote name="garrell" fetch="git@github.com:garrelj1" revision="trunk"/> | |
<default remote="garrell" sync-j="14" sync-c="true" /> | |
<!-- "path" is the directory the repository will be downloaded into --> | |
<!-- Using "remote" and "name" resolves to the git repo at git@github.com:garrelj1/ezsetup --> | |
<project path="external/ezsetup" name="ezsetup" remote="garrell"> | |
<!-- Optional file copy procedure --> | |
<!-- Note: this will copy the file into the base dir NOT into external/ezsetup) --> | |
<copyfile src="install.sh" dest="install.sh" /> | |
</project> | |
</manifest> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment