add stale workflow#24681

craig-osterhout wants to merge 5 commits intodocker:maindocker/docs:mainfrom

craig-osterhout:engdocs-3228craig-osterhout/docs:engdocs-3228Copy head branch name to clipboard