github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2024-11-07 20:31:06 -05:00
Code Issues Projects Releases Packages Wiki Activity
overleaf/services/web/modules/server-ce-scripts/scripts
History
Miguel Serrano 4cfbee15df Merge pull request #9339 from overleaf/jpa-script-rename-tag 
[web] server-ce-scripts: add script for renaming a tag

GitOrigin-RevId: 4137fcf7410a5043fa1c1ef1a1694f6c5ad6059a
2022-08-24 08:04:19 +00:00
..
check-mongodb.js
check-redis.js
create-user.js
delete-user.js
rename-tag.js Merge pull request #9339 from overleaf/jpa-script-rename-tag 2022-08-24 08:04:19 +00:00