-
So I have a workflow in which a push (by the merge of a PR or a simple push) would trigger a bot to push to another repo with the user’s name and details, that triggered the action. I managed to get the name by |
Beta Was this translation helpful? Give feedback.
Replies: 3 comments
-
For the See: https://developer.github.com/webhooks/event-payloads/#push |
Beta Was this translation helpful? Give feedback.
-
If the workflow is triggered by push event, you can use the following properties to get the email and name of the pusher from the github context of the workflow run.
For example:
|
Beta Was this translation helpful? Give feedback.
-
@dawidd6’s link points to the legacy documentation, the new link is: |
Beta Was this translation helpful? Give feedback.
For the
push
event, there is:${{github.event.pusher.email}}
.See: https://developer.github.com/webhooks/event-payloads/#push