Change issue creation away from push #153
Description
Currently, issues get created upon each push to the repo. That's probably bad, so let's fix it.
{{ message }}
Currently, issues get created upon each push to the repo. That's probably bad, so let's fix it.