Aleksandr Krasilnikov a76132062a [github] Use the current branch name instead of "Pushing to GitHub master" ...

GitOrigin-RevId: ddead5934eef81b76dfd4d14771a6f10e5bf4920

2024-05-07 17:00:56 +00:00

..

graphql

…

messages

…

META-INF

…

org/jetbrains/plugins/github

…

GithubIconMappings.json

…

intellij.vcs.github.tracker.xml

…