Commits are not properly attributed to the app bot

[armanbilge]

Sadly it turns out that the 123456 in:

diy-steward/.github/workflows/steward.yml

Line 26 in 0794ec8

author-email: 123456+your-app-name[bot]@users.noreply.github.com

is not the App ID. It is in fact Yet Another ID that is assigned by GitHub to your app bot in an obfuscated manner.

The way we currently attribute commits made by GitHub Apps isn’t currently publicly documented in our Setting your commit email address article and is subject to change at anytime without notice.

Further reading:

• https://github.community/t/my-app-creates-commits-is-there-an-email-associated-with-an-app-installation/14490/4
• https://github.community/t/logging-into-git-as-a-github-app/115916/2

[armanbilge]

Ok, here's how you can get the ID, but only after the bot has opened some PRs using the wrong ID.

If you view the PR info via the GH REST API, then you can find your app bot's user ID under the user entry in the JSON. For example in:
https://api.github.com/repos/armanbilge/schrodinger/pulls/179
the nimble-agar-steward user ID is 106723251.

[armanbilge]

Yup, that fixes it. Compare armanbilge/schrodinger@fe802d8 (before) to armanbilge/gcp4s@f9307bf (after).