mirrored-actions/add-pr-comment
1
0
Fork 0
mirror of https://github.com/mshick/add-pr-comment.git synced 2026-01-02 14:59:43 +11:00
Code Issues Projects Releases Packages Wiki Activity

trigger

Browse source
This commit is contained in:
Michael Shick 2019-11-25 13:51:39 -05:00
parent b1fd9d1ff1
commit ad8b9da219
No known key found for this signature in database
GPG key ID: ADF5BC9704BB4A61
3 changed files with 31 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
action.yml
View file

@ -7,6 +7,10 @@ inputs:
repo-token:
description: "a github token for API access"
required: true
allow-repeats:
description: "allow messages to be repeated"
required: false
default: false
runs:
using: "node12"
main: "index.js"