A repository to that uses GitHub actions to keep github repos in sync with overleaf git repos.
GNU General Public License v3.0GPL-3.0