We should add an option to options.json to allow building only when a tagged commit is received (to prevent excessive builds).