diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-10-24 00:30:59 +0200 |
|---|---|---|
| committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-10-24 00:34:02 +0200 |
| commit | f530325483b4e6bbcbc2be931f83e73995e21c28 (patch) | |
| tree | 4c63c4496920fa70c3209ec2e1bc58db58003158 | |
| parent | 89e5a4cc08e8bc28472dfe749456e9636a92040a (diff) | |
| download | manifest-f530325483b4e6bbcbc2be931f83e73995e21c28.tar.gz manifest-f530325483b4e6bbcbc2be931f83e73995e21c28.tar.bz2 manifest-f530325483b4e6bbcbc2be931f83e73995e21c28.zip | |
Add replicant-release-scripts
This repository is needed to do Replicant releases, so it would
be best to have it in the Replicant source code as well.
As it is an integral part of the release process, it is also
interesting to have it tagged like any other repositories used
in a given release.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
| -rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index b182014..37b8fe7 100644 --- a/default.xml +++ b/default.xml @@ -295,6 +295,7 @@ <project path="system/vold" name="LineageOS-mirror/android_system_vold.git" groups="pdk" /> <project path="vendor/replicant" name="replicant/vendor_replicant.git" remote="replicant" /> <project path="vendor/replicant-data" name="replicant/vendor_replicant-data.git" remote="replicant" revision="master" /> + <project path="vendor/replicant-release-scripts" name="replicant/vendor_replicant-release-scripts" remote="replicant" /> <project path="vendor/replicant-scripts" name="replicant/vendor_replicant-scripts.git" remote="replicant" /> <project path="vendor/cmsdk" name="replicant/vendor_cmsdk.git" remote="replicant" /> |