Juan Picado @jotadeveloper 7c45ac9f8d chore: publish release as non-draft		2020-04-02 21:38:21 +02:00
..
gh_publish.sh	chore: restore circleci	2019-05-04 15:58:50 +02:00
github-release.sh	GitHub actions (#32)	2019-04-08 23:36:39 +02:00
publish.sh	chore: restore circleci	2019-05-04 15:58:50 +02:00
trigger-release.js	chore: publish release as non-draft	2020-04-02 21:38:21 +02:00