Monthly chores: Automated repo cleanup#3

github-actions[bot] wants to merge 1 commit intomainmikehoffms/edge-developer:mainfrom

bot/cleanrepo-pull-requestmikehoffms/edge-developer:bot/cleanrepo-pull-requestCopy head branch name to clipboard