Live clone of http://gitlab.onelab.info/gmsh/gmsh.
Live clone of https://codeberg.org/forgejo/forgejo.
Live clone of https://gitlab.inria.fr/scotch/scotch
Live clone of git://git.ghostscript.com/ghostpdf.git
Live clone of https://sourceforge.net/p/docutils/code/HEAD/tree/.
This repository is a mirror of https://bitbucket.org/fenics-project/dolfin/
Live clone of https://gitlab.kitware.com/xdmf/xdmf.
Shell scripts for pushing several repos to GitHub.
