CI: Bot to mark abandoned Github Issues stale/closed#12329

jsquyres merged 1 commit intoopen-mpi:mainopen-mpi/ompi:mainfrom

jsquyres:pr/auto-close-issues-botjsquyres/ompi:pr/auto-close-issues-botCopy head branch name to clipboard