Closed huxuan closed 4 months ago
Hi Xuan, we already export app-slug
, see outputs.
In order to get the user ID of an app, an additional request needs to be sent. As that is not a common enough use case, I suggest we update the README to show how to do it.
Say outputs.app-slug
is my-app
, then the user name is my-app[bot]
. With that you can retrieve the user ID at GET /users/{login}
.
Actually it might suffice to just do my-app[bot]@users.noreply.github.com
as the git email, without the need of adding the user ID of the app, can you give that a try?
Great, I will try it soon. Thanks for the information.
It works like a charm! Thanks again and close the issue now.
According to the discussion here: https://github.com/orgs/community/discussions/24664, sometimes, we want to know the GitHub App's user name and user id (for the corresponding email address), it would be great if we can have those in the outputs.