inspirehep / record-editor

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

Send event to github workflow instead of triggering gitlab's webhook #388

Closed benjamin-bergia closed 4 years ago