Skip to content

Filter out bot activity from github activity metrics #4705

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.

Sign up for GitHub

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

Jump to bottom
Open
IvanIvanoff wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Filter out bot activity from github activity metrics #4705

IvanIvanoff wants to merge 1 commit into from

Conversation

@IvanIvanoff
Copy link
Member

@IvanIvanoff IvanIvanoff commented Jun 12, 2025

Changes

Ticket

Checklist:

  • I have performed a self-review of my own code
  • I have made corresponding changes to the documentation
  • I have tried to find clearer solution before commenting hard-to-understand parts of code
  • I have added tests that prove my fix is effective or that my feature works

@IvanIvanoff IvanIvanoff force-pushed the dev-activity-ignore-bots branch 2 times, most recently from ef21665 to 0f7f0ea Compare June 17, 2025 11:46
@IvanIvanoff IvanIvanoff force-pushed the dev-activity-ignore-bots branch 2 times, most recently from 784c41b to f616d4c Compare July 3, 2025 08:48
@IvanIvanoff IvanIvanoff force-pushed the dev-activity-ignore-bots branch from f616d4c to 3e02352 Compare August 15, 2025 07:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tspenov tspenov tspenov approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@IvanIvanoff @tspenov