search

inspirehep / record-editor

Record editing tool used in http://inspirehep.net
GNU General Public License v2.0
6 stars 16 forks source link

global: deploy to prod images #395

Closed drjova closed 4 years ago

drjova commented 4 years ago

🤦

drjova commented 4 years ago

@michamos updated