]> source.dussan.org Git - nextcloud-server.git/commitdiff
Merge pull request #24904 from nextcloud/enh/github-psalm
authorRoeland Jago Douma <rullzer@users.noreply.github.com>
Wed, 10 Feb 2021 18:03:55 +0000 (19:03 +0100)
committerGitHub <noreply@github.com>
Wed, 10 Feb 2021 18:03:55 +0000 (19:03 +0100)
Have psalm analysis directly on github


Trivial merge