New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Bot users don’t render quite right #60
Comments
Yeah, that seems to be a general problem across GitHub right now. I was assuming GitHub would update their Markdown renderer to point them to the app page for the bot user, at some point. But we can do better in the meantime! Any suggestions? For a start, we should filter bots out of |
Yeah, I’d suggest filtering them from contributors. As far as for people concatenating it with an @, I’d suggest making the @ part of the variable, but in the interests of backward-compatibility, maybe it should prefix bots with a zero-width joiner? e.g. @renovate[bot] |
As noted in release-drafter#60, bot accounts are currently being mis-mentioned, where instead of linking through to `dependabot[bot]` it'll tag a user `@dependabot` which isn't the same, and can result in unwanted notifications. To address this, we can retrieve the type of user that has authored a Pull Request, looking at the `__typename` to determine if it's a `Bot` or a `User` account, and provide a Markdown link to the Bot account's app page. Unfortunately this may result in a name such as: @[dependabot[bot]](https://github.com/apps/dependabot) But this is a better result than tagging the wrong account. Closes release-drafter#60.
I've taken a stab at this with #1376 - happy to add in the zero-width joiner too / instead of Markdown linking to the app page? |
It seems that bot users are inlined as usual, and count as contributors, which results in a bit of unusual rendering:
The text was updated successfully, but these errors were encountered: