]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #11388 from opensourcerouting/feature/github_stale_issues_prs
authorDonald Sharp <donaldsharp72@gmail.com>
Sun, 12 Jun 2022 12:00:42 +0000 (08:00 -0400)
committerGitHub <noreply@github.com>
Sun, 12 Jun 2022 12:00:42 +0000 (08:00 -0400)
github: Mark issues with no activity in 180 days as stale


Trivial merge