Lines Matching refs:image
193 is tracked in the primary PETSc Git repository. However, image files are
197 Therefore, we store image files in a separate Git repository, [Images](https://gitlab.com/petsc/pet…
206 - Do not add movies or other non-image files.
210 - Decide where in `doc/images` a new image should go. Use the structure of the `doc/` tree as a gui…
211 …ly-used branch of the upstream images repository, adding this image [^maintainer-fast-image-footno…
212 … Request is merged, you may make a MR on the main PETSc Git repository relying on the new image(s).
214 It may be helpful to place working copies of the new image(s) in your local `doc/images`
220 Simply add a logically-numbered new version of the image.
222 If an image is not used in *any* {any}`integration branch <sec_integration_branches>` (`main` or `r…
229 If the size of the image repository grows too large,
283 [^maintainer-fast-image-footnote]: Maintainers may directly push commits.