]> source.dussan.org Git - nextcloud-server.git/commitdiff
projects / nextcloud-server.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 01d58b6 766f38d)
Merge pull request #37221 from nextcloud/save-some-ci-minutes
authorJoas Schilling <213943+nickvergessen@users.noreply.github.com>
Wed, 15 Mar 2023 08:08:41 +0000 (09:08 +0100)
committerGitHub <noreply@github.com>
Wed, 15 Mar 2023 08:08:41 +0000 (09:08 +0100)
Save some CI time


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