From: Timo Heister Date: Mon, 14 Aug 2023 04:27:35 +0000 (-0400) Subject: Merge pull request #154 from marcfehling/repo-owner X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2ac6a162c114625edd5afce62cf087684cd97152;p=code-gallery.git Merge pull request #154 from marcfehling/repo-owner Limit report of CI failures to main repository. --- 2ac6a162c114625edd5afce62cf087684cd97152