]> https://gitweb.dealii.org/ - code-gallery.git/commit
Merge pull request #154 from marcfehling/repo-owner
authorTimo Heister <timo.heister@gmail.com>
Mon, 14 Aug 2023 04:27:35 +0000 (00:27 -0400)
committerGitHub <noreply@github.com>
Mon, 14 Aug 2023 04:27:35 +0000 (00:27 -0400)
commit2ac6a162c114625edd5afce62cf087684cd97152
treecc88ae51be06a1b697e5d2df9e4f06b32cb05a8d
parente57f490e7875885677e27045b2a160a83ee9f1f3
parentb0fdea187317fd041749428421aca6d28f454862
Merge pull request #154 from marcfehling/repo-owner

Limit report of CI failures to main repository.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.