voxpelli, 24 days ago Lovely to see my PR to actions/checkout on documenting how to attribute the GitHub bot has been merged: https://github.com/actions/checkout/pull/1707
Lovely to see my PR to actions/checkout on documenting how to attribute the GitHub bot has been merged: https://github.com/actions/checkout/pull/1707
jgarber, 24 days ago @voxpelli I glanced quickly at the linked PRs, so I may have missed an obvious answer to this: What’s the significance of the 41898282+ prefix? That has the appearance of being an extremely magical number, but I suspect it’s not?
@voxpelli I glanced quickly at the linked PRs, so I may have missed an obvious answer to this:
What’s the significance of the 41898282+ prefix?
41898282+
That has the appearance of being an extremely magical number, but I suspect it’s not?
voxpelli, 24 days ago @jgarber I think it’s the user id of the bot account as it’s apparently different in enterprise servers
@jgarber I think it’s the user id of the bot account as it’s apparently different in enterprise servers
jgarber, 24 days ago @voxpelli I thought that might be the case. So it’s consistent across the entirety of github-dot-com? (and lol that “user” contribution graph must look bananas 😂)
@voxpelli I thought that might be the case. So it’s consistent across the entirety of github-dot-com?
(and lol that “user” contribution graph must look bananas 😂)
voxpelli, 24 days ago @jgarber Yeah, it’s consistent there, and was nice to get it officially confirmed (and funnily enough some GitHub employees learned about it through that PR 😅)
@jgarber Yeah, it’s consistent there, and was nice to get it officially confirmed (and funnily enough some GitHub employees learned about it through that PR 😅)
Add comment