diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2021-01-13 11:32:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-13 11:32:30 +0100 |
| commit | 829e8035e79288311475e155f70d83afdfef885b (patch) | |
| tree | 3e1fe93df8223014add90dd525775f80fbb2c804 | |
| parent | 9faf51fae66e8143a2cb2fdbf24d6abbd66ea593 (diff) | |
| parent | ceddc0d8c11a7e1b0d1bbf166a800d4c263e614a (diff) | |
| download | ATCD-829e8035e79288311475e155f70d83afdfef885b.tar.gz | |
Merge pull request #1407 from jwillemsen/jwi-releasescript
Make sure we tag Latest_ACE7TAO3_ as indicated in the news file
| -rwxr-xr-x | ACE/bin/make_release.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ACE/bin/make_release.py b/ACE/bin/make_release.py index 9b424d970cb..d80dae79031 100755 --- a/ACE/bin/make_release.py +++ b/ACE/bin/make_release.py @@ -454,17 +454,17 @@ def get_comp_versions (component): def update_latest_branch (product, which): - """Update one of the Latest_* branches to point to the new release. + """Update one of the Latest_ACE7TAO3_* branches to point to the new release. """ - name = "Latest_" + which + name = "Latest_ACE7TAO3_" + which vprint ('Fast-forwarding', name, 'to master') ex ("cd $DOC_ROOT/" + product + " && git fetch . master:" + name) def push_latest_branch (product, which): - """Update one of the remote Latest_* branches to point to the new release. + """Update one of the remote Latest_ACE7TAO3_* branches to point to the new release. """ name = "Latest_ACE7TAO3_" + which |