]> source.dussan.org Git - nextcloud-server.git/commitdiff
projects / nextcloud-server.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 077e2fe 50784a7)
Merge pull request #22314 from nextcloud/ci/noid/run-daily-updates-of-psalm-baseline
authorMorris Jobke <hey@morrisjobke.de>
Thu, 20 Aug 2020 10:39:16 +0000 (12:39 +0200)
committerGitHub <noreply@github.com>
Thu, 20 Aug 2020 10:39:16 +0000 (12:39 +0200)
Generate psalm-baseline.xml PR instead of requiring this from the PR …


Trivial merge
Nextcloud server, a safe home for all your data: https://github.com/nextcloud/server