Filter out bot activity from github activity metrics#4705

IvanIvanoff wants to merge 1 commit intomastersantiment/sanbase2:masterfrom

dev-activity-ignore-botssantiment/sanbase2:dev-activity-ignore-botsCopy head branch name to clipboard