Use repository_dispatch to trigger build#92

Merged

javierggt merged 1 commit intomasterfrom auto_build

Feb 10, 2020

+3

Commits on Feb 10, 2020

added repository_dispatch as one of the possibilities for triggering build. This is a test that needs to be in master.
javierggt
committed