Open matthewfeickert opened 4 years ago
I do not feel comfortable to drop "github_token" support, but I will gladly accept PR, which will simultaneously introduce support for "github-token" with an indication of the recommended solution consistent with proposd.
Hi! Today I was trying to play around with some updates using
github-push-action
and I noticed I was getting the error:I was quite confused by this until I read closer and noticed that I had used
github-token
ininstead of
github_token
As the GitHub
github-script
action usesgithub-token
, would you consider changing the input to match them? My library is probably not the only one that uses bothgithub-script
andgithub-push-action
so it would probably lead to less typos and errors. If there was a reason that you intentionally chose to not copy them then my apologies for missing this.I also just wanted to say thank you, as your GitHub Action is awesome and we use it quite heavily in our publication workflow for our library
pyhf
.