4cfbee15df
[web] server-ce-scripts: add script for renaming a tag GitOrigin-RevId: 4137fcf7410a5043fa1c1ef1a1694f6c5ad6059a