🏗️🔧：keep a tool out of the author credit - #1899

🏗️🔧：keep a tool out of the author credit#1899

openinf-commit-queue[bot] merged 1 commit into

liveOpenINF/openinf.github.io:livefrom

infra/refuse-tool-coauthorOpenINF/openinf.github.io:infra/refuse-tool-coauthorCopy head branch name to clipboard