diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-10-24 00:53:42 +0200 |
|---|---|---|
| committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-10-24 00:57:04 +0200 |
| commit | bb89d901d2c54a9ae6208365aab9b47de3fffd50 (patch) | |
| tree | 5a4f99ebb4e432737b19f74c26c61c113d29f2e5 | |
| parent | 51e3e7d60b577084f90903dcedff21d0a429cd09 (diff) | |
| download | vendor_replicant-release-scripts-bb89d901d2c54a9ae6208365aab9b47de3fffd50.tar.gz vendor_replicant-release-scripts-bb89d901d2c54a9ae6208365aab9b47de3fffd50.tar.bz2 vendor_replicant-release-scripts-bb89d901d2c54a9ae6208365aab9b47de3fffd50.zip | |
Release procedure: Also suggest to verify if all repositories fetch fine.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
| -rw-r--r-- | README.txt | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -73,8 +73,12 @@ Make sure that the manifest commits are added in the git repository that is checked out in manifest/ as the tagging script will use that to push the tags for the manifest. -This is not the only way to do it. If you have other ideas, feel free to send -patches to add them in this README as well. +If you also want to check if all the source code fetches fine (for instance if +you recently migrated some repositories to the Replicant mirrors system) you can +also re-download all the source code from scratch instead. + +Theses are probably not the only ways to do it. If you have other ideas, feel +free to send patches to add them in this README as well. Tagging the source code: ------------------------ |