github-action[bot] vs. eclipse-platform-bot

[BeckerWdf]

We have two bots working on this repository.

I get these mails from them:

Why do they have different names github-action[bot] vs. eclipse-platform-bot. Can use the same name for both or are there good reasons why they have different names?

This is not a big issue but I any though I will ask this question.

[laeubi]

It depends on the type of action:

• github-action[bot] is usually used with default (simple) permissions
• eclipse-platform-bot is used when elevated permissions are required (using a PAT)

I think one can change the name for the first one but no one has ever cared enough in the past maybe :-)

So if you check in what circumstance the bot takes action we can find out the triggering workflow and possible adapt it.